upload-artifact lose permissions

SMT-COMP · May 28, 2024 · 9ade299 · 9ade299
1 parent 703cf05
commit 9ade299
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 4 deletions.
diff --git a/.github/workflows/test-solver.yml b/.github/workflows/test-solver.yml
@@ -32,11 +32,15 @@ jobs:
           poetry run smtcomp generate-test-script test_data/ ${{ steps.changed-files.outputs.all_changed_files }}
           rm -rf test_data/download
 
+      #upload-artifact lose permissions
+      -name: Archive directory
+        run: tar -cf test_data.tar test_data
+
       - name: Upload generated test script
         uses: actions/upload-artifact@v4
         with:
           name: generated_script
-          path: test_data/
+          path: test_data.tar
 
   run-test-script:
     needs: generate-test-script
@@ -47,10 +51,13 @@ jobs:
         uses: actions/download-artifact@v4
         with:
           name: generated_script
-          path: test_data/
+          path: test_data.tar
+
+      - name: Unarchive
+        run: tar -xf test_data.tar
 
       - name: Show unpacked files
-        run: ls -lR test_data/unpack
+        run: ls -lR test_data/
 
       - name: Run test script
         run: python3 test_data/test_script.py
diff --git a/smtcomp/main.py b/smtcomp/main.py
@@ -560,4 +560,6 @@ def read_submission(file: Path) -> defs.Submission:
                     for _, logics in divisions.items():
                         for logic in logics:
                             for status in [defs.Status.Sat, defs.Status.Unsat]:
-                                write_test(out, track, logic, part, status, trivial_bench.relative_to(outdir), Path("."))
+                                write_test(
+                                    out, track, logic, part, status, trivial_bench.relative_to(outdir), Path(".")
+                                )