mps: don't use HARDENS docker image for mps-test

GaloisInc · Jun 10, 2024 · 97b6e12 · 97b6e12
1 parent 8fc23b9
commit 97b6e12
Showing 1 changed file with 6 additions and 8 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -56,15 +56,13 @@ jobs:
         run: |
           chmod +x rts.*
           mv rts.* components/mission_protection_system/src/.
+      - name: Install pip3
+        run: sudo apt-get install -y python3-pip
       - name: Test MPS
-        uses: addnab/docker-run-action@v3
-        with:
-          image: galoisinc/hardens:latest
-          options: -v ${{ github.workspace }}:/HARDENS
-          run: |
-            cd components/mission_protection_system/tests
-            pip3 install -r requirements.txt
-            RTS_DEBUG=1 QUICK=1 python3 ./run_all.py
+        run: |
+          cd components/mission_protection_system/tests
+          pip3 install -r requirements.txt
+          RTS_DEBUG=1 QUICK=1 python3 ./run_all.py
 
   vmrunner:
     runs-on: ubuntu-22.04