Update GitHub Actions

whonore · Sep 17, 2024 · e9097cd · e9097cd
1 parent d2bb2c2
commit e9097cd
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 deletions.
diff --git a/.github/workflows/coq-tests.yml b/.github/workflows/coq-tests.yml
@@ -49,18 +49,18 @@ jobs:
     steps:
       - uses: actions/checkout@v4
       - name: Install Nix
-        uses: cachix/install-nix-action@v25
+        uses: cachix/install-nix-action@v28
         with:
           nix_path: nixpkgs=channel:nixpkgs-unstable
       - name: Install Cachix
-        uses: cachix/cachix-action@v14
+        uses: cachix/cachix-action@v15
         with:
           name: coq
           skipPush: true
       - name: Set up Nix cache
         # Only Coq master needs additional caching.
         if: ${{ matrix.coq_version == 'master' }}
-        uses: DeterminateSystems/magic-nix-cache-action@v2
+        uses: DeterminateSystems/magic-nix-cache-action@v8
       - name: Install Coq ${{ matrix.coq_version }}
         run: nix-env -j auto --cores 0 -i -f ci/coq.nix --argstr version ${{ matrix.coq_version }}
       - name: Install Python ${{ matrix.py_version }}

diff --git a/.github/workflows/vim-tests.yml b/.github/workflows/vim-tests.yml
@@ -32,11 +32,11 @@ jobs:
     steps:
       - uses: actions/checkout@v4
       - name: Install Nix
-        uses: cachix/install-nix-action@v25
+        uses: cachix/install-nix-action@v28
         with:
           nix_path: nixpkgs=channel:nixos-20.09
       - name: Install Cachix
-        uses: cachix/cachix-action@v14
+        uses: cachix/cachix-action@v15
         with:
           name: whonore-vim
           skipPush: true