Merge branch 'main' into mkFlake
This commit is contained in:
commit
b490d4886c
1 changed files with 5 additions and 0 deletions
5
bors.toml
Normal file
5
bors.toml
Normal file
|
|
@ -0,0 +1,5 @@
|
|||
status = [
|
||||
"ci/hercules/onPush/default",
|
||||
"ci/hercules/evaluation",
|
||||
]
|
||||
delete_merged_branches = true
|
||||
Loading…
Add table
Add a link
Reference in a new issue