Merge branch 'dev' into methodify_witness_trees

zingolabs · Apr 10, 2024 · 5a96a4d · 5a96a4d
2 parents 03e9aff + 36caa15
commit 5a96a4d
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -2,6 +2,7 @@ name: CI
 
 on:
   pull_request:
+    types: [ready_for_review]
   push:
     branches: [stable, dev]
   workflow_dispatch: