From 6a1b27cf406d2f0dd7b5dbd9afec869920df14d8 Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Thu, 19 Mar 2026 16:23:53 +0000 Subject: [PATCH] Bump cachix/cachix-action from 16 to 17 Bumps [cachix/cachix-action](https://github.com/cachix/cachix-action) from 16 to 17. - [Release notes](https://github.com/cachix/cachix-action/releases) - [Commits](https://github.com/cachix/cachix-action/compare/v16...v17) --- updated-dependencies: - dependency-name: cachix/cachix-action dependency-version: '17' dependency-type: direct:production update-type: version-update:semver-major ... Signed-off-by: dependabot[bot] --- .github/workflows/nix-action-rocq-dev.yml | 34 +++++++++++------------ 1 file changed, 17 insertions(+), 17 deletions(-) diff --git a/.github/workflows/nix-action-rocq-dev.yml b/.github/workflows/nix-action-rocq-dev.yml index b6ffae602..4c2c69bbb 100644 --- a/.github/workflows/nix-action-rocq-dev.yml +++ b/.github/workflows/nix-action-rocq-dev.yml @@ -33,7 +33,7 @@ jobs: with: nix_path: nixpkgs=channel:nixpkgs-unstable - name: Cachix setup metacoq - uses: cachix/cachix-action@v16 + uses: cachix/cachix-action@v17 with: authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} extraPullNames: coq, coq-community @@ -96,7 +96,7 @@ jobs: with: nix_path: nixpkgs=channel:nixpkgs-unstable - name: Cachix setup metacoq - uses: cachix/cachix-action@v16 + uses: cachix/cachix-action@v17 with: authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} extraPullNames: coq, coq-community @@ -156,7 +156,7 @@ jobs: with: nix_path: nixpkgs=channel:nixpkgs-unstable - name: Cachix setup metacoq - uses: cachix/cachix-action@v16 + uses: cachix/cachix-action@v17 with: authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} extraPullNames: coq, coq-community @@ -226,7 +226,7 @@ jobs: with: nix_path: nixpkgs=channel:nixpkgs-unstable - name: Cachix setup metacoq - uses: cachix/cachix-action@v16 + uses: cachix/cachix-action@v17 with: authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} extraPullNames: coq, coq-community @@ -317,7 +317,7 @@ jobs: with: nix_path: nixpkgs=channel:nixpkgs-unstable - name: Cachix setup metacoq - uses: cachix/cachix-action@v16 + uses: cachix/cachix-action@v17 with: authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} extraPullNames: coq, coq-community @@ -397,7 +397,7 @@ jobs: with: nix_path: nixpkgs=channel:nixpkgs-unstable - name: Cachix setup metacoq - uses: cachix/cachix-action@v16 + uses: cachix/cachix-action@v17 with: authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} extraPullNames: coq, coq-community @@ -481,7 +481,7 @@ jobs: with: nix_path: nixpkgs=channel:nixpkgs-unstable - name: Cachix setup metacoq - uses: cachix/cachix-action@v16 + uses: cachix/cachix-action@v17 with: authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} extraPullNames: coq, coq-community @@ -564,7 +564,7 @@ jobs: with: nix_path: nixpkgs=channel:nixpkgs-unstable - name: Cachix setup metacoq - uses: cachix/cachix-action@v16 + uses: cachix/cachix-action@v17 with: authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} extraPullNames: coq, coq-community @@ -645,7 +645,7 @@ jobs: with: nix_path: nixpkgs=channel:nixpkgs-unstable - name: Cachix setup metacoq - uses: cachix/cachix-action@v16 + uses: cachix/cachix-action@v17 with: authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} extraPullNames: coq, coq-community @@ -732,7 +732,7 @@ jobs: with: nix_path: nixpkgs=channel:nixpkgs-unstable - name: Cachix setup metacoq - uses: cachix/cachix-action@v16 + uses: cachix/cachix-action@v17 with: authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} extraPullNames: coq, coq-community @@ -812,7 +812,7 @@ jobs: with: nix_path: nixpkgs=channel:nixpkgs-unstable - name: Cachix setup metacoq - uses: cachix/cachix-action@v16 + uses: cachix/cachix-action@v17 with: authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} extraPullNames: coq, coq-community @@ -896,7 +896,7 @@ jobs: with: nix_path: nixpkgs=channel:nixpkgs-unstable - name: Cachix setup metacoq - uses: cachix/cachix-action@v16 + uses: cachix/cachix-action@v17 with: authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} extraPullNames: coq, coq-community @@ -979,7 +979,7 @@ jobs: with: nix_path: nixpkgs=channel:nixpkgs-unstable - name: Cachix setup metacoq - uses: cachix/cachix-action@v16 + uses: cachix/cachix-action@v17 with: authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} extraPullNames: coq, coq-community @@ -1058,7 +1058,7 @@ jobs: with: nix_path: nixpkgs=channel:nixpkgs-unstable - name: Cachix setup metacoq - uses: cachix/cachix-action@v16 + uses: cachix/cachix-action@v17 with: authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} extraPullNames: coq, coq-community @@ -1136,7 +1136,7 @@ jobs: with: nix_path: nixpkgs=channel:nixpkgs-unstable - name: Cachix setup metacoq - uses: cachix/cachix-action@v16 + uses: cachix/cachix-action@v17 with: authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} extraPullNames: coq, coq-community @@ -1206,7 +1206,7 @@ jobs: with: nix_path: nixpkgs=channel:nixpkgs-unstable - name: Cachix setup metacoq - uses: cachix/cachix-action@v16 + uses: cachix/cachix-action@v17 with: authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} extraPullNames: coq, coq-community @@ -1261,7 +1261,7 @@ jobs: with: nix_path: nixpkgs=channel:nixpkgs-unstable - name: Cachix setup metacoq - uses: cachix/cachix-action@v16 + uses: cachix/cachix-action@v17 with: authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} extraPullNames: coq, coq-community