Fix error with dafny action (#392)

viperproject · Jan 17, 2025 · ca49265 · ca49265
1 parent 8e837e4
commit ca49265
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/.github/workflows/dafny.yml b/.github/workflows/dafny.yml
@@ -14,12 +14,13 @@ on:
 
 jobs:
   verify:
-    runs-on: ubuntu-latest
+    # Dafny fails for ubuntu-24.04 with error "no libssl found".
+    runs-on: ubuntu-22.04
     steps:
       - name: Checkout the current repository
         uses: actions/checkout@v3
       - name: "Install Dafny"
         uses: dafny-lang/setup-dafny-action@v1
       - name: "Verify bitwise operations."
         run: |
-          dafny verification/utils/bitwise/proofs.dfy
+          dafny verification/utils/bitwise/proofs.dfy