[CI] Update Nix toolbox

math-comp · Jan 8, 2024 · 903a339 · 903a339
1 parent 23499db
commit 903a339
Show file tree

Hide file tree

Showing 4 changed files with 10 additions and 5 deletions.
diff --git a/.github/workflows/nix-action-8.17.yml b/.github/workflows/nix-action-8.17.yml
@@ -331,8 +331,10 @@ name: Nix CI for bundle 8.17
 'on':
   pull_request:
     paths:
-    - .github/workflows/**
+    - .github/workflows/nix-action-8.17.yml
   pull_request_target:
+    paths-ignore:
+    - .github/workflows/nix-action-8.17.yml
     types:
     - opened
     - synchronize

diff --git a/.github/workflows/nix-action-8.18.yml b/.github/workflows/nix-action-8.18.yml
@@ -331,8 +331,10 @@ name: Nix CI for bundle 8.18
 'on':
   pull_request:
     paths:
-    - .github/workflows/**
+    - .github/workflows/nix-action-8.18.yml
   pull_request_target:
+    paths-ignore:
+    - .github/workflows/nix-action-8.18.yml
     types:
     - opened
     - synchronize

diff --git a/.github/workflows/nix-action-master.yml b/.github/workflows/nix-action-master.yml
@@ -502,8 +502,10 @@ name: Nix CI for bundle master
 'on':
   pull_request:
     paths:
-    - .github/workflows/**
+    - .github/workflows/nix-action-master.yml
   pull_request_target:
+    paths-ignore:
+    - .github/workflows/nix-action-master.yml
     types:
     - opened
     - synchronize

diff --git a/.nix/coq-nix-toolbox.nix b/.nix/coq-nix-toolbox.nix
@@ -1,2 +1 @@
-"cef6668e637efb2941cbda0ac0f0a435730fa3c1"
-
+"7e631f043d424ce82f3308824bf64fbfdee04c80"
Original file line number	Diff line number	Diff line change
		@@ -1,2 +1 @@
		"cef6668e637efb2941cbda0ac0f0a435730fa3c1"

		"7e631f043d424ce82f3308824bf64fbfdee04c80"