Run nix ci on push to main

SSProve · Nov 26, 2024 · 8b4ca49 · 8b4ca49
1 parent fa359f4
commit 8b4ca49
Show file tree

Hide file tree

Showing 4 changed files with 7 additions and 3 deletions.
diff --git a/.github/workflows/nix-action-8.18.yml b/.github/workflows/nix-action-8.18.yml
@@ -277,4 +277,4 @@ name: Nix CI for bundle 8.18
     - reopened
   push:
     branches:
-    - master
+    - main
diff --git a/.github/workflows/nix-action-8.19.yml b/.github/workflows/nix-action-8.19.yml
@@ -277,4 +277,4 @@ name: Nix CI for bundle 8.19
     - reopened
   push:
     branches:
-    - master
+    - main
diff --git a/.github/workflows/nix-action-8.20.yml b/.github/workflows/nix-action-8.20.yml
@@ -253,4 +253,4 @@ name: Nix CI for bundle 8.20
     - reopened
   push:
     branches:
-    - master
+    - main
diff --git a/.nix/config.nix b/.nix/config.nix
@@ -64,6 +64,10 @@
     mathcomp-analysis.override.version = "1.2.0";
   };
 
+  bundles."8.18".push-branches = ["main"];
+  bundles."8.19".push-branches = ["main"];
+  bundles."8.20".push-branches = ["main"];
+
   ## Cachix caches to use in CI
   ## Below we list some standard ones
   cachix.coq = {};
-Original file line number
+Diff line change
@@ Expand Up / @@ -277,4 +277,4 @@ name: Nix CI for bundle 8.18 @@
         - reopened
       push:
         branches:
-        - master
+        - main