Skip to content

Commit

Permalink
Update Bors config
Browse files Browse the repository at this point in the history
Bors is currently dead, but it might be revived, so let's update it to be safe.
  • Loading branch information
amesgen authored and dermetfan committed Dec 2, 2022
1 parent a73a042 commit 4e1dd9e
Showing 1 changed file with 5 additions and 1 deletion.
6 changes: 5 additions & 1 deletion bors.toml
@@ -1,7 +1,11 @@
status = [
"ci/hydra:Cardano:ouroboros-network:required",
"ci",
"ci (x86_64-linux)",
"ci (x86_64-darwin)",
"build (8.10.7, ubuntu-latest)",
"build (8.10.7, windows-latest)",
"build (9.2.5, ubuntu-latest)",
"build (9.2.5, windows-latest)",
]
timeout_sec = 7200
required_approvals = 1
Expand Down

0 comments on commit 4e1dd9e

Please sign in to comment.