update workflow

leanprover-community · Nov 28, 2023 · 8feb114 · 8feb114
1 parent ea0b199
commit 8feb114
Showing 1 changed file with 2 additions and 6 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -40,18 +40,14 @@ jobs:
 
       - name: delete unused mathlib cache
         continue-on-error: true
-        run: find ./lake-packages/mathlib/build/lib -type f \( -name "*.olean" -o -name "*.olean.hash" \) \! -neweraa ./tmp_timestamp -delete -print
+        run: find ./.lake/packages/mathlib/.lake/build/lib -type f \( -name "*.olean" -o -name "*.olean.hash" \) \! -neweraa ./tmp_timestamp -delete -print
 
       - name: delete timestamp file
         run: rm ./tmp_timestamp
 
       - name: compress built game
         #run: tar -czvf ../game.tar.gz .
-        run: zip game.zip ./* -r
-
-      # - name: hack. move compressed artifact back
-      #   run: mv ../game.tar.gz ./game.tar.gz
-      #   # run: zip game.zip ./* -r
+        run: zip game.zip * .lake/ -r
 
       - name: upload compressed game folder
         uses: actions/upload-artifact@v3