Update .github/workflows/main.yml

Co-authored-by: spernsteiner <[email protected]>
GaloisInc · Jun 5, 2024 · 33d2980 · 33d2980
1 parent 4f0ceae
commit 33d2980
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -33,7 +33,7 @@ jobs:
     steps:
       - name: Checkout repository and submodules
         uses: actions/checkout@v4
-      - name: Build MPS
+      - name: Test MPS
         uses: addnab/docker-run-action@v3
         with:
           image: galoisinc/hardens:latest