Display and move the stored artifacts

GaloisInc · Jun 5, 2024 · c449c85 · c449c85
1 parent 21feefc
commit c449c85
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -47,6 +47,11 @@ jobs:
         uses: actions/download-artifact@v4
         with:
           name: mps-binaries
+      - name: Display structure of downloaded files
+        run: |
+          ls -l
+          mv rts.* components/mission_protection_system/src/.
+          ls -l components/mission_protection_system/src/
       - name: Test MPS
         uses: addnab/docker-run-action@v3
         with: