From 8d159794c06f9b3741f1bbdd2457a9e7667b3868 Mon Sep 17 00:00:00 2001 From: Nick Spinale Date: Thu, 15 Feb 2024 08:36:46 +0000 Subject: [PATCH] ci: Bump remote action versions Signed-off-by: Nick Spinale --- .github/workflows/push.yaml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/push.yaml b/.github/workflows/push.yaml index 89723d84b..eb4c4e46e 100644 --- a/.github/workflows/push.yaml +++ b/.github/workflows/push.yaml @@ -120,7 +120,7 @@ jobs: run: make html - name: Upload Pages artifact if: github.ref == format('refs/heads/{0}', github.event.repository.default_branch) - uses: actions/upload-pages-artifact@v2 + uses: actions/upload-pages-artifact@v3 with: path: out/html check-kani-proofs: @@ -144,4 +144,4 @@ jobs: steps: - name: Deploy to GitHub Pages id: deployment - uses: actions/deploy-pages@v2 + uses: actions/deploy-pages@v4