From c41c6f2e92bb1b4a62023aadb612afd941c2b7c0 Mon Sep 17 00:00:00 2001
From: Nat Karmios <nat@karmios.com>
Date: Fri, 28 Jun 2024 02:53:22 +0100
Subject: [PATCH] Compress artefact before uploading

---
 .github/workflows/ci.yml | 29 +++++++++++++++++++++--------
 1 file changed, 21 insertions(+), 8 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index c04a5ab1..ab2a7c96 100644
--- 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"