Update Verus version

Signed-off-by: Xudong Sun <[email protected]>
anvil-verifier · Mar 9, 2024 · 2ea1083 · 2ea1083
1 parent 9697e1a
commit 2ea1083
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 9 deletions.
diff --git 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
@@ -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