chore(ci): remove working directory on self-hosted (#11645)

Mathlib now takes several gigabytes to build. This addresses some of the space issues on the CI machines.
leanprover-community · Jan 24, 2022 · 32052b8 · 32052b8
1 parent 511aa35
commit 32052b8
Show file tree

Hide file tree

Showing 4 changed files with 51 additions and 3 deletions.
diff --git a/.github/workflows/bors.yml b/.github/workflows/bors.yml
@@ -114,6 +114,10 @@ jobs:
         if: always() && steps.build.outputs.started == 'true' && ${{ 1 }}
         run: rm /tmp/tmp-* || true
 
+      - name: clean up working directory and elan
+        if: always() && ${{ 1 }}
+        run: rm -rf * $HOME/.elan
+
   lint:
     name: Lint mathlib
     runs-on: bors
@@ -145,7 +149,11 @@ jobs:
       - name: lint
         run: |
           ./scripts/mk_all.sh
-          lean --run scripts/lint_mathlib.lean
+          lean --run scripts/lint_mathlib.lean --github
+
+      - name: clean up working directory and elan
+        if: always() && ${{ 1 }}
+        run: rm -rf * $HOME/.elan
 
   tests:
     name: Run tests
@@ -215,6 +223,10 @@ jobs:
           bash scripts/mk_all.sh
           lean --run scripts/yaml_check.lean
 
+      - name: clean up working directory and elan
+        if: always() && ${{ 1 }}
+        run: rm -rf * $HOME/.elan
+
   final:
     name: Post-CI job
     if: github.repository == 'leanprover-community/mathlib'

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -122,6 +122,10 @@ jobs:
         if: always() && steps.build.outputs.started == 'true' && ${{ 1 }}
         run: rm /tmp/tmp-* || true
 
+      - name: clean up working directory and elan
+        if: always() && ${{ 1 }}
+        run: rm -rf * $HOME/.elan
+
   lint:
     name: Lint mathlib
     runs-on: pr
@@ -155,6 +159,10 @@ jobs:
           ./scripts/mk_all.sh
           lean --run scripts/lint_mathlib.lean --github
 
+      - name: clean up working directory and elan
+        if: always() && ${{ 1 }}
+        run: rm -rf * $HOME/.elan
+
   tests:
     name: Run tests
     runs-on: pr
@@ -223,6 +231,10 @@ jobs:
           bash scripts/mk_all.sh
           lean --run scripts/yaml_check.lean
 
+      - name: clean up working directory and elan
+        if: always() && ${{ 1 }}
+        run: rm -rf * $HOME/.elan
+
   final:
     name: Post-CI job
     if: github.repository == 'leanprover-community/mathlib'

diff --git a/.github/workflows/build.yml.in b/.github/workflows/build.yml.in
@@ -100,6 +100,10 @@ jobs:
         if: always() && steps.build.outputs.started == 'true' && ${{ IS_SELF_HOSTED }}
         run: rm /tmp/tmp-* || true
 
+      - name: clean up working directory and elan
+        if: always() && ${{ IS_SELF_HOSTED }}
+        run: rm -rf * $HOME/.elan
+
   lint:
     name: Lint mathlibJOB_NAME
     runs-on: RUNS_ON
@@ -131,7 +135,11 @@ jobs:
       - name: lint
         run: |
           ./scripts/mk_all.sh
-          lean --run scripts/lint_mathlib.lean
+          lean --run scripts/lint_mathlib.lean --github
+
+      - name: clean up working directory and elan
+        if: always() && ${{ IS_SELF_HOSTED }}
+        run: rm -rf * $HOME/.elan
 
   tests:
     name: Run testsJOB_NAME
@@ -201,6 +209,10 @@ jobs:
           bash scripts/mk_all.sh
           lean --run scripts/yaml_check.lean
 
+      - name: clean up working directory and elan
+        if: always() && ${{ IS_SELF_HOSTED }}
+        run: rm -rf * $HOME/.elan
+
   final:
     name: Post-CI jobJOB_NAME
     if: github.repository MAIN_OR_FORK 'leanprover-community/mathlib'

diff --git a/.github/workflows/build_fork.yml b/.github/workflows/build_fork.yml
@@ -120,6 +120,10 @@ jobs:
         if: always() && steps.build.outputs.started == 'true' && ${{ 0 }}
         run: rm /tmp/tmp-* || true
 
+      - name: clean up working directory and elan
+        if: always() && ${{ 0 }}
+        run: rm -rf * $HOME/.elan
+
   lint:
     name: Lint mathlib (fork)
     runs-on: ubuntu-latest
@@ -151,7 +155,11 @@ jobs:
       - name: lint
         run: |
           ./scripts/mk_all.sh
-          lean --run scripts/lint_mathlib.lean
+          lean --run scripts/lint_mathlib.lean --github
+
+      - name: clean up working directory and elan
+        if: always() && ${{ 0 }}
+        run: rm -rf * $HOME/.elan
 
   tests:
     name: Run tests (fork)
@@ -221,6 +229,10 @@ jobs:
           bash scripts/mk_all.sh
           lean --run scripts/yaml_check.lean
 
+      - name: clean up working directory and elan
+        if: always() && ${{ 0 }}
+        run: rm -rf * $HOME/.elan
+
   final:
     name: Post-CI job (fork)
     if: github.repository != 'leanprover-community/mathlib'