Unverified Commit b3b33932 authored by Luca Palmieri's avatar Luca Palmieri Committed by GitHub
Browse files

Run CI on merge groups. (#2355)

parent e63f3ee6
Loading
Loading
Loading
Loading
+1 −0
Original line number Diff line number Diff line
@@ -6,6 +6,7 @@
name: CI
on:
  pull_request:
  merge_group:

# Allow one instance of this workflow per pull request, and cancel older runs when new changes are pushed
concurrency: