From e360a34f1ab32e1b8a65030948515b4d615cb758 Mon Sep 17 00:00:00 2001 From: Riccardo Brasca Date: Thu, 23 Jan 2025 17:25:30 +0100 Subject: [PATCH] mmm --- .github/workflows/main.yml | 2 +- .github/workflows/push.yml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 8914910..988a72a 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -56,7 +56,7 @@ jobs: mv blueprint/web _site/blueprint - name: Deploy doc & blueprint - uses: peaceiris/actions-gh-pages@v4 + uses: peaceiris/actions-gh-pages@v3 with: github_token: ${{ secrets.github_token }} publish_dir: _site diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml index 0a68b55..5eece1d 100644 --- a/.github/workflows/push.yml +++ b/.github/workflows/push.yml @@ -48,7 +48,7 @@ jobs: - name: Build project run: ~/.elan/bin/lake -R -Kenv=dev build FltRegular - - uses: actions/cache@v4 + - uses: actions/cache@v3 name: Mathlib doc Cache with: path: build/doc/Mathlib