Skip to content

Commit

Permalink
Run CI on merge queue things (#1658)
Browse files Browse the repository at this point in the history
Should unblock our merge queues.

---

<!-- Consider each and tick it off one way or the other -->
* [ ] CHANGELOG updated or not needed
* [ ] Documentation updated or not needed
* [ ] Haddocks updated or not needed
* [ ] No new TODOs introduced or explained herafter
  • Loading branch information
ch1bo authored Sep 27, 2024
2 parents 47410de + 5e318a7 commit be2157f
Show file tree
Hide file tree
Showing 3 changed files with 6 additions and 1 deletion.
3 changes: 2 additions & 1 deletion .github/workflows/ci-nix.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -4,8 +4,9 @@ name: "CI"
concurrency:
group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
cancel-in-progress: true

on:
# We're using merge-chains; so this needs to run then.
merge_group:
push:
branches:
- master
Expand Down
2 changes: 2 additions & 0 deletions .github/workflows/formatting.yaml
Original file line number Diff line number Diff line change
@@ -1,6 +1,8 @@
name: Check code formatting

on:
# We're using merge-chains; so this needs to run then.
merge_group:
pull_request:

jobs:
Expand Down
2 changes: 2 additions & 0 deletions .github/workflows/network-test.yaml
Original file line number Diff line number Diff line change
@@ -1,6 +1,8 @@
name: "Network fault tolerance"

on:
# We're using merge-chains; so this needs to run then.
merge_group:
push:
branches:
- master
Expand Down

0 comments on commit be2157f

Please sign in to comment.