Compress artefact before uploading

GillianPlatform · Jun 28, 2024 · c41c6f2 · c41c6f2
1 parent 721d593
commit c41c6f2
Showing 1 changed file with 21 additions and 8 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -54,11 +54,13 @@ jobs:
         run: |
           opam exec -- dune build @install
           opam install . -y
+      - name: Compressing artifact
+        run: tar czf opam.tar.gz _opam
       - name: Sending artifact for next jobs
         uses: actions/upload-artifact@v4
         with:
           name: ${{ runner.os }}-opam
-          path: _opam
+          path: opam.tar.gz
       - name: Building docs
         run: make docs
         if: runner.os == 'Linux'
@@ -90,7 +92,9 @@ jobs:
         uses: actions/download-artifact@v4
         with:
           name: ${{ runner.os }}-opam
-          path: _opam
+          path: opam.tar.gz
+      - name: Extract release
+        run: tar xzf opam.tar.gz
       - name: init env
         run: "Gillian-C/scripts/setup_environment.sh"
         working-directory: "Gillian"
@@ -119,7 +123,9 @@ jobs:
         uses: actions/download-artifact@v4
         with:
           name: ${{ runner.os }}-opam
-          path: _opam
+          path: opam.tar.gz
+      - name: Extract release
+        run: tar xzf opam.tar.gz
       - name: init env
         run: "Gillian-JS/scripts/setup_environment.sh"
         working-directory: "Gillian"
@@ -150,7 +156,9 @@ jobs:
         uses: actions/download-artifact@v4
         with:
           name: ${{ runner.os }}-opam
-          path: _opam
+          path: opam.tar.gz
+      - name: Extract release
+        run: tar xzf opam.tar.gz
       - name: init env
         run: "kanillian/scripts/setup_environment.sh"
         working-directory: "Gillian"
@@ -179,7 +187,9 @@ jobs:
         uses: actions/download-artifact@v4
         with:
           name: ${{ runner.os }}-opam
-          path: _opam
+          path: opam.tar.gz
+      - name: Extract release
+        run: tar xzf opam.tar.gz
       - name: Test262
         run: "gillian-js test262 test262/test --ci"
 
@@ -204,7 +214,9 @@ jobs:
         uses: actions/download-artifact@v4
         with:
           name: ${{ runner.os }}-opam
-          path: _opam
+          path: opam.tar.gz
+      - name: Extract release
+        run: tar xzf opam.tar.gz
       - name: Symbolic Testing Collections-C
         run: "./runGillianTests.sh"
         working-directory: collections-c
@@ -228,8 +240,9 @@ jobs:
   #       uses: actions/download-artifact@v4
   #       with:
   #        name: ${{ runner.os }}-opam
-  #        path: _opam
-
+  #        path: opam.tar.gz
+  #     - name: Extract release
+  #       run: tar xzf opam.tar.gz
   #     - name: Symbolic Testing Buckets.js
   #       run: "opam exec -- gillian-js cosette-bulk Gillian/Gillian-JS/Examples/Cosette/Buckets --ci"