From a083073b937f1c5016339b454034c3f4f1ed0098 Mon Sep 17 00:00:00 2001 From: Ian Jauslin Date: Fri, 31 Jan 2025 15:37:18 -0500 Subject: [PATCH 1/3] Revert "Upgrade github artifacts" This reverts commit 9dde07efce7a2e4b65327ae2afa5ca113cda700a. --- .github/workflows/push.yml | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml index 1d73183b..fc3f422c 100644 --- a/.github/workflows/push.yml +++ b/.github/workflows/push.yml @@ -74,13 +74,13 @@ jobs: uses: actions/configure-pages@v4 - name: Upload blueprint artifact - uses: actions/upload-pages-artifact@v4 + uses: actions/upload-pages-artifact@v2 with: path: docs - name: Deploy to GitHub Pages id: deployment - uses: actions/deploy-pages@v4 + uses: actions/deploy-pages@v3 # generate doc after blueprint (as it's quite a bit longer) @@ -100,7 +100,7 @@ jobs: run: make LAKEBIN='~/.elan/bin/lake' build - name: Cache mathlib docs - uses: actions/cache@v4 + uses: actions/cache@v3 with: path: | .lake/build/doc/Init @@ -137,7 +137,7 @@ jobs: key: Documentation-cache #- name: Download blueprint artifacts - # uses: actions/download-artifact@v4 + # uses: actions/download-artifact@v3 # with: # path: blueprint_artifacts # @@ -153,10 +153,10 @@ jobs: continue-on-error: true - name: Upload docs & blueprint artifact - uses: actions/upload-pages-artifact@v4 + uses: actions/upload-pages-artifact@v2 with: path: docs - name: Deploy to GitHub Pages id: deployment - uses: actions/deploy-pages@v4 + uses: actions/deploy-pages@v3 From b7d2c7cefa04a0fa526c964538c15a34ef5b664a Mon Sep 17 00:00:00 2001 From: Ian Jauslin Date: Fri, 31 Jan 2025 15:39:50 -0500 Subject: [PATCH 2/3] Update upload-pages-artifact --- .github/workflows/push.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml index fc3f422c..4fb45ae2 100644 --- a/.github/workflows/push.yml +++ b/.github/workflows/push.yml @@ -74,7 +74,7 @@ jobs: uses: actions/configure-pages@v4 - name: Upload blueprint artifact - uses: actions/upload-pages-artifact@v2 + uses: actions/upload-pages-artifact@v3 with: path: docs @@ -153,7 +153,7 @@ jobs: continue-on-error: true - name: Upload docs & blueprint artifact - uses: actions/upload-pages-artifact@v2 + uses: actions/upload-pages-artifact@v3 with: path: docs From 05c0a637432e130644ff2c1531db129316679e41 Mon Sep 17 00:00:00 2001 From: Ian Jauslin Date: Fri, 31 Jan 2025 15:43:23 -0500 Subject: [PATCH 3/3] Update other github actions --- .github/workflows/push.yml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml index 4fb45ae2..5ea85ef4 100644 --- a/.github/workflows/push.yml +++ b/.github/workflows/push.yml @@ -71,7 +71,7 @@ jobs: - name: Setup Pages - uses: actions/configure-pages@v4 + uses: actions/configure-pages@v5 - name: Upload blueprint artifact uses: actions/upload-pages-artifact@v3 @@ -80,7 +80,7 @@ jobs: - name: Deploy to GitHub Pages id: deployment - uses: actions/deploy-pages@v3 + uses: actions/deploy-pages@v4 # generate doc after blueprint (as it's quite a bit longer) @@ -159,4 +159,4 @@ jobs: - name: Deploy to GitHub Pages id: deployment - uses: actions/deploy-pages@v3 + uses: actions/deploy-pages@v4