build: ignore occasional use of rover
All checks were successful
Rust / build (map[name:nightly]) (push) Successful in 8m46s
Rust / build (map[name:stable]) (push) Successful in 9m15s
ci/woodpecker/push/cron-docker-builder Pipeline was successful
ci/woodpecker/push/push-next Pipeline was successful
ci/woodpecker/push/tag-created Pipeline was successful
Release Please / Release-plz (push) Successful in 1m7s
All checks were successful
Rust / build (map[name:nightly]) (push) Successful in 8m46s
Rust / build (map[name:stable]) (push) Successful in 9m15s
ci/woodpecker/push/cron-docker-builder Pipeline was successful
ci/woodpecker/push/push-next Pipeline was successful
ci/woodpecker/push/tag-created Pipeline was successful
Release Please / Release-plz (push) Successful in 1m7s
This commit is contained in:
parent
419b3deab2
commit
2842b6a55a
1 changed files with 1 additions and 0 deletions
1
.gitignore
vendored
1
.gitignore
vendored
|
@ -29,3 +29,4 @@ data/
|
|||
|
||||
mutants.out/
|
||||
mutants.out.old/
|
||||
.idea/
|
||||
|
|
Loading…
Reference in a new issue