bad/devos
1
0
Fork 0
Code Issues 1 Pull requests Projects Releases Wiki Activity

ci: update bors.toml for new pipeline

Browse source
This commit is contained in:
Timothy DeHerrera 2021-04-22 00:32:00 -06:00 committed by David Arnold
parent b03fd1496d
commit 7a825bbeb6
1 changed files with 1 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
bors.toml
View file

@ -1,7 +1,4 @@
status = [
"ci/hercules/evaluation",
"ci/hercules/derivations"
]
status = [ "check" ]
required_approvals = 1