diff --git a/.github/workflows/bench.yml b/.github/workflows/bench.yml
index f60ba266..e5f84308 100644
--- a/.github/workflows/bench.yml
+++ b/.github/workflows/bench.yml
@@ -6,7 +6,7 @@ jobs:
     name: run benchmark
     runs-on: ubuntu-latest
     env:
-      RUSTC_VERSION: 1.75.0
+      RUSTC_VERSION: 1.77.0
     steps:
     - uses: actions/checkout@v4
     - name: Checkout base branch
@@ -35,7 +35,7 @@ jobs:
           ~/.cargo
           target
           rust/bench/target
-        key: ${{ runner.os }}-bench-0.1.1-${{ hashFiles('**/Cargo.lock') }}
+        key: ${{ runner.os }}-bench-0.1.3-${{ hashFiles('**/Cargo.lock') }}
     - name: Install canbench
       run: cargo install canbench
     - name: Run perf for base branch
diff --git a/.github/workflows/coq.yml b/.github/workflows/coq.yml
index 7b23c97d..ec56f00d 100644
--- a/.github/workflows/coq.yml
+++ b/.github/workflows/coq.yml
@@ -11,7 +11,7 @@ jobs:
   build:
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v2
+      - uses: actions/checkout@v4
       - uses: cachix/install-nix-action@v12
       #- run: nix-build s coq
       # The above would also build the shell, includling niv.
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
index 352915fe..9bba0839 100644
--- a/.github/workflows/release.yml
+++ b/.github/workflows/release.yml
@@ -4,7 +4,7 @@ on:
     tags:
       - '*'
     branches: # TODO: Remove before merging.
-      - musl  # Pushing the feature branch should test this PR.
+      - fix-ci  # Pushing the feature branch should test this PR.
 jobs:
   build:
     name: Build for ${{ matrix.name }}
@@ -17,7 +17,7 @@ jobs:
             name: linux64
             artifact_name: target/x86_64-unknown-linux-musl/release/didc
             asset_name: didc-linux64
-          - os: macos-latest
+          - os: macos-12
             name: macos
             artifact_name: target/release/didc
             asset_name: didc-macos
@@ -26,7 +26,7 @@ jobs:
             artifact_name: target/arm-unknown-linux-gnueabihf/release/didc
             asset_name: didc-arm32
     steps:
-      - uses: actions/checkout@v2
+      - uses: actions/checkout@v4
       - name: Install stable toolchain
         if: matrix.name != 'arm'
         uses: actions-rs/toolchain@v1