[CI] Update Nix toolbox

math-comp · Jan 8, 2024 · f1b0a04 · f1b0a04
1 parent 9dafe6d
commit f1b0a04
Show file tree

Hide file tree

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

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

diff --git a/.github/workflows/nix-action-8.17.yml b/.github/workflows/nix-action-8.17.yml
@@ -190,8 +190,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
@@ -190,8 +190,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
@@ -158,6 +158,7 @@ jobs:
   mathcomp:
     needs:
     - coq
+    - hierarchy-builder
     runs-on: ubuntu-latest
     steps:
     - name: Determine which commit to initially checkout
@@ -227,6 +228,10 @@ jobs:
       name: 'Building/fetching previous CI target: mathcomp-character'
       run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "master"
         --argstr job "mathcomp-character"
+    - if: steps.stepCheck.outputs.status == 'built'
+      name: 'Building/fetching previous CI target: hierarchy-builder'
+      run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "master"
+        --argstr job "hierarchy-builder"
     - if: steps.stepCheck.outputs.status == 'built'
       name: Building/fetching current CI target
       run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "master"
@@ -492,8 +497,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 +1 @@
-"cef6668e637efb2941cbda0ac0f0a435730fa3c1"
+"7e631f043d424ce82f3308824bf64fbfdee04c80"
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		"cef6668e637efb2941cbda0ac0f0a435730fa3c1"
		"7e631f043d424ce82f3308824bf64fbfdee04c80"