Activate CI on rocq-9.0 branch

mattam82 · mattam82 · commit 206f46b3ab68 · 2025-04-15T13:14:05.000+02:00
diff --git a/.github/workflows/nix-action-default.yml b/.github/workflows/nix-action-default.yml
@@ -327,3 +327,4 @@ on:
   push:
     branches:
     - master
+    - rocq-9.0
