Fix CI for merge queue (#134)

arkworks-rs · Jan 25, 2024 · 6a006f9 · 6a006f9
1 parent 6239629
commit 6a006f9
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -1,5 +1,6 @@
 name: CI
 on:
+  merge_group:
   pull_request:
   push:
     branches: