Skip to content

Commit 03e5127

Browse files
committed
Update mergify conditions
1 parent a789f05 commit 03e5127

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

.github/mergify.yml

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -7,6 +7,8 @@ pull_request_rules:
77
conditions:
88
- status-success=bench-example (8.10.3, ubuntu-latest, Cabal-3.0.0.0)
99
- status-success=bench-example (8.10.3, ubuntu-latest, lsp-types-1.0.0.1)
10+
# disabled (too slow, ~4h) until hie-bios >0.7.2 is released
11+
# - status-success=bench-example (8.10.3, ubuntu-latest, bench_example_HLS)
1012

1113
- status-success=nix (default, ubuntu-latest)
1214
- status-success=nix (default, macOS-latest)

0 commit comments

Comments
 (0)