chore: run nix-ci whenever we run ci (leanprover#3600)

this unifies the `on` settings between nix-ci and ci, less confusion when adding a label doesn’t trigger all the CI stuff.
tydeu · Mar 11, 2024 · ed5de0d · ed5de0d
1 parent 3b1cb4d
commit ed5de0d
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/nix-ci.yml b/.github/workflows/nix-ci.yml
@@ -6,6 +6,7 @@ on:
     tags:
       - '*'
   pull_request:
+    types: [opened, synchronize, reopened, labeled]
   merge_group:
 
 concurrency: