From 262770d66a3bc6e3d90e2df656cf9a9130513467 Mon Sep 17 00:00:00 2001
From: Cyril Cohen
Date: Wed, 31 Mar 2021 15:35:34 +0200
Subject: update to last coq-nix-toolbox

---
 .github/workflows/nix-action.yml | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

(limited to '.github/workflows')

diff --git a/.github/workflows/nix-action.yml b/.github/workflows/nix-action.yml
index a9ff81a..5457181 100644
--- a/.github/workflows/nix-action.yml
+++ b/.github/workflows/nix-action.yml
@@ -36,8 +36,8 @@ jobs:
     - name: Setup build matrix
       id: set-matrix
       run: |
-        matrix=$(nix-shell --arg do-nothing true --run nixTasks)
-        echo ::set-output name=matrix::{\"task\":$(echo $matrix)}\"
+        matrix=$(nix-shell --arg do-nothing true --run nixBundles)
+        echo ::set-output name=matrix::{\"bundle\":$(echo $matrix)}\"
 
   mathcomp:
     runs-on: ubuntu-latest
@@ -67,9 +67,9 @@ jobs:
       with:
         fetch-depth: 0
     - name: Building/fetching dependencies
-      run: nix-build --no-out-link --argstr ci "${{ matrix.task }}" --argstr ci-job "_deps"
+      run: nix-build --no-out-link --argstr ci "${{ matrix.bundle }}" --argstr ci-job "_deps"
     - name: Building/fetching current project
-      run: nix-build --no-out-link --argstr ci "${{ matrix.task }}" --argstr ci-job mathcomp
+      run: nix-build --no-out-link --argstr ci "${{ matrix.bundle }}" --argstr ci-job mathcomp
 
   mathcomp-single:
     runs-on: ubuntu-latest
@@ -99,7 +99,7 @@ jobs:
       with:
         fetch-depth: 0
     - name: Building/fetching dependencies
-      run: nix-build --no-out-link --argstr ci "${{ matrix.task }}" --argstr ci-job _deps
+      run: nix-build --no-out-link --argstr ci "${{ matrix.bundle }}" --argstr ci-job _deps
     - name: Building/fetching current project
-      run: nix-build --no-out-link --argstr ci "${{ matrix.task }}" --argstr ci-job mathcomp-single
+      run: nix-build --no-out-link --argstr ci "${{ matrix.bundle }}" --argstr ci-job mathcomp-single
 
-- 
cgit v1.2.3