Revert the frama-c job changes

GaloisInc · Feb 7, 2025 · f5b0dab · f5b0dab
1 parent d0e7057
commit f5b0dab
Showing 1 changed file with 6 additions and 2 deletions.
diff --git a/.github/workflows/proofs.yml b/.github/workflows/proofs.yml
@@ -34,11 +34,15 @@ jobs:
 
   mps-verify-frama-c:
     runs-on: ubuntu-22.04
-    container: framac/frama-c:dev
     steps:
       - name: Checkout repository and submodules
         uses: actions/checkout@v4
-      - run: >
+      - name: Prove MPS Components
+        uses: addnab/docker-run-action@v3
+        with:
+          image: framac/frama-c:dev
+          options: -v ${{ github.workspace }}:/work -w /work
+          run: >
             sudo apt-get update && sudo apt-get install -y z3 &&
             why3 config detect &&
             cd components/mission_protection_system/src &&