From cfa0d535b66bab80e054e18734fc43079e2df15a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ya=C3=ABl=20Dillies?= Date: Tue, 14 Nov 2023 19:51:39 +0000 Subject: [PATCH] Update workflows --- .github/workflows/push.yml | 19 ++++++------------- .github/workflows/upgrade_lean.yml | 18 ------------------ 2 files changed, 6 insertions(+), 31 deletions(-) delete mode 100644 .github/workflows/upgrade_lean.yml diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml index e3c249bc70..1d86b904b7 100644 --- a/.github/workflows/push.yml +++ b/.github/workflows/push.yml @@ -17,7 +17,7 @@ jobs: group: ${{ github.workflow }}-${{ github.ref }} cancel-in-progress: true steps: - - name: Free Disk Space (Ubuntu) + - name: Free disk space uses: jlumbroso/free-disk-space@main with: # this might remove tools that are actually needed, @@ -47,8 +47,8 @@ jobs: - name: Build project run: ~/.elan/bin/lake -Kenv=dev build LeanAPAP - - uses: actions/cache@v3 - name: Mathlib doc Cache + - name: Cache mathlib docs + uses: actions/cache@v3 with: path: build/doc/Mathlib key: DocGen4-${{ hashFiles('lake-manifest.json') }} @@ -64,12 +64,12 @@ jobs: python-version: '3.9' cache: 'pip' # caching pip dependencies - - name: Install blueprint apt deps + - name: Install blueprint apt dependencies run: | sudo apt-get update sudo apt-get install -y graphviz libgraphviz-dev pdf2svg dvisvgm texlive-full - - name: Install blueprint deps + - name: Install blueprint dependencies run: | cd blueprint && pip install -r requirements.txt @@ -81,13 +81,6 @@ jobs: run: | mv build/doc docs/docs - - name: Remove .gitignore for gh-pages - run: rm docs/.gitignore - - - name: Count sorries - run: | - python scripts/count_sorry.py - - name: Bundle dependencies uses: ruby/setup-ruby@v1 with: @@ -99,7 +92,7 @@ jobs: working-directory: docs run: JEKYLL_ENV=production bundle exec jekyll build - - name: Upload doc & blueprint artifact + - name: Upload docs & blueprint artifact uses: actions/upload-pages-artifact@v1 with: path: docs/_site diff --git a/.github/workflows/upgrade_lean.yml b/.github/workflows/upgrade_lean.yml deleted file mode 100644 index 21db83a88a..0000000000 --- a/.github/workflows/upgrade_lean.yml +++ /dev/null @@ -1,18 +0,0 @@ -on: - schedule: - - cron: '0 2 * * *' # once a day at 2am UTC - -jobs: - upgrade_lean: - runs-on: ubuntu-latest - name: Bump Lean and dependency versions - steps: - - name: checkout project - uses: actions/checkout@v2 - - name: upgrade Lean and dependencies - uses: leanprover-contrib/lean-upgrade-action@master - with: - repo: ${{ github.repository }} - access-token: ${{ secrets.GITHUB_TOKEN }} - - name: update version branches - uses: leanprover-contrib/update-versions-action@master