Skip to content
Merged
Changes from 1 commit
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions .github/mergify.yml
Original file line number Diff line number Diff line change
Expand Up @@ -10,8 +10,8 @@ pull_request_rules:
# disabled (too slow, ~4h) until hie-bios >0.7.2 is released
# - status-success=bench-example (8.10.4, ubuntu-latest, bench_example_HLS)

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

- status-success=test (8.10.4, ubuntu-latest)
- status-success=test (8.10.4, macOS-latest)
Expand Down