diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 752e24c17..07a63833e 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -21,7 +21,7 @@ jobs:
         with:
           repository: verus-lang/verus
           path: verus
-          ref: 3ac6c8318c7e285bf41fc2eb8072c6140ba7cc93
+          ref: 1a9e3c577847b4a230ff7fe15b5b080a71cdf3c8
       - name: Move Verus
         run: mv verus ../verus
       - name: Install Rust toolchain
@@ -44,7 +44,7 @@ jobs:
         with:
           repository: verus-lang/verus
           path: verus
-          ref: 3ac6c8318c7e285bf41fc2eb8072c6140ba7cc93
+          ref: 1a9e3c577847b4a230ff7fe15b5b080a71cdf3c8
       - name: Move Verus
         run: mv verus ../verus
       - name: Install Rust toolchain
@@ -67,7 +67,7 @@ jobs:
         with:
           repository: verus-lang/verus
           path: verus
-          ref: 3ac6c8318c7e285bf41fc2eb8072c6140ba7cc93
+          ref: 1a9e3c577847b4a230ff7fe15b5b080a71cdf3c8
       - name: Move Verus
         run: mv verus ../verus
       - name: Install Rust toolchain
@@ -90,7 +90,7 @@ jobs:
         with:
           repository: verus-lang/verus
           path: verus
-          ref: 3ac6c8318c7e285bf41fc2eb8072c6140ba7cc93
+          ref: 1a9e3c577847b4a230ff7fe15b5b080a71cdf3c8
       - name: Move Verus
         run: mv verus ../verus
       - name: Install Rust toolchain
@@ -113,7 +113,7 @@ jobs:
         with:
           repository: verus-lang/verus
           path: verus
-          ref: 3ac6c8318c7e285bf41fc2eb8072c6140ba7cc93
+          ref: 1a9e3c577847b4a230ff7fe15b5b080a71cdf3c8
       - name: Move Verus
         run: mv verus ../verus
       - name: Install Rust toolchain
@@ -147,7 +147,7 @@ jobs:
         with:
           repository: verus-lang/verus
           path: verus
-          ref: 3ac6c8318c7e285bf41fc2eb8072c6140ba7cc93
+          ref: 1a9e3c577847b4a230ff7fe15b5b080a71cdf3c8
       - name: Move Verus
         run: mv verus ../verus
       - name: Install Rust toolchain
diff --git a/.github/workflows/verus-build.yml b/.github/workflows/verus-build.yml
index 5f416fd5b..3fad9f9d8 100644
--- a/.github/workflows/verus-build.yml
+++ b/.github/workflows/verus-build.yml
@@ -17,9 +17,9 @@ jobs:
       - name: Build Verus image
         run: |
           cd docker/verus
-          docker build -t ghcr.io/${{ env.IMAGE_NAME }}/verus:latest --build-arg VERUS_VER=3ac6c8318c7e285bf41fc2eb8072c6140ba7cc93 .
-          docker tag ghcr.io/${{ env.IMAGE_NAME }}/verus:latest ghcr.io/${{ env.IMAGE_NAME }}/verus:3ac6c8318c7e285bf41fc2eb8072c6140ba7cc93
+          docker build -t ghcr.io/${{ env.IMAGE_NAME }}/verus:latest --build-arg VERUS_VER=1a9e3c577847b4a230ff7fe15b5b080a71cdf3c8 .
+          docker tag ghcr.io/${{ env.IMAGE_NAME }}/verus:latest ghcr.io/${{ env.IMAGE_NAME }}/verus:1a9e3c577847b4a230ff7fe15b5b080a71cdf3c8
       - name: Push Verus image
         run: |
           docker push ghcr.io/${{ env.IMAGE_NAME }}/verus:latest
-          docker push ghcr.io/${{ env.IMAGE_NAME }}/verus:3ac6c8318c7e285bf41fc2eb8072c6140ba7cc93
+          docker push ghcr.io/${{ env.IMAGE_NAME }}/verus:1a9e3c577847b4a230ff7fe15b5b080a71cdf3c8