Enable proof actions when producing a release

verus-lang · Dec 3, 2024 · ef0d628 · ef0d628
1 parent f27ea70
commit ef0d628
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/release.yaml b/.github/workflows/release.yaml
@@ -95,7 +95,7 @@ jobs:
         run: sudo apt-get install gcc-arm-linux-gnueabihf
 
       - name: Dist
-        run: cargo xtask dist --client-patch-version ${{ github.run_number }}
+        run: cargo xtask dist --proof-action --client-patch-version ${{ github.run_number }}
 
       - run: npm ci
         working-directory: editors/code
@@ -159,7 +159,7 @@ jobs:
   #         fetch-depth: ${{ env.FETCH_DEPTH }}
 
   #     - name: Dist
-  #       run: cargo xtask dist --client-patch-version ${{ github.run_number }}
+  #       run: cargo xtask dist --proof-action --client-patch-version ${{ github.run_number }}
 
   #     - run: npm ci
   #       working-directory: editors/code