feat(ci): store xz archives (leanprover-community#2719)

https://leanprover.zulipchat.com/#narrow/stream/113488-general/topic/olean.20cache Co-authored-by: Rob Lewis <rob.y.lewis@gmail.com>
cipher1024 · Mar 15, 2022 · 595d71a · 595d71a
1 parent f542dc6
commit 595d71a
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -74,6 +74,9 @@ jobs:
           archive_name="$(git rev-parse HEAD).tar.gz"
           tar czf "$archive_name" src
           azcopy copy "$archive_name" "${{ secrets.AZURE_SAS_TOKEN }}" --block-size-mb 99 --overwrite false
+          archive_name="$(git rev-parse HEAD).tar.xz"
+          tar cJf "$archive_name" src
+          azcopy copy "$archive_name" "${{ secrets.AZURE_SAS_TOKEN }}" --block-size-mb 99 --overwrite false
 
       - name: update lean-x.y.z branch
         if: github.repository == 'leanprover-community/mathlib' && github.ref == 'refs/heads/master'