From 653689bae325cefb4d6e1edc89ba24913fc0f750 Mon Sep 17 00:00:00 2001 From: Ali Caglayan Date: Sat, 21 Sep 2024 21:05:51 +0200 Subject: [PATCH] bump delete-artifact This was giving a warning in the CI since v1 is not compatible with upload-artifact@v4. We fix this by bumping the version to v5. Signed-off-by: Ali Caglayan --- .github/workflows/ci.yml | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 01e7411b8b..29284fc339 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -566,28 +566,28 @@ jobs: runs-on: ubuntu-latest steps: # Delete workspace artifacts - - uses: geekyeggo/delete-artifact@v1 + - uses: geekyeggo/delete-artifact@v5 with: name: workspace-${{ env.coq-version-supported }} - - uses: geekyeggo/delete-artifact@v1 + - uses: geekyeggo/delete-artifact@v5 with: name: workspace-latest - - uses: geekyeggo/delete-artifact@v1 + - uses: geekyeggo/delete-artifact@v5 with: name: workspace-dev # Delete documentation artifacts - - uses: geekyeggo/delete-artifact@v1 + - uses: geekyeggo/delete-artifact@v5 with: name: dep-graphs - - uses: geekyeggo/delete-artifact@v1 + - uses: geekyeggo/delete-artifact@v5 with: name: file-dep-graphs - - uses: geekyeggo/delete-artifact@v1 + - uses: geekyeggo/delete-artifact@v5 with: name: alectryon-html - - uses: geekyeggo/delete-artifact@v1 + - uses: geekyeggo/delete-artifact@v5 with: name: coqdoc-html - - uses: geekyeggo/delete-artifact@v1 + - uses: geekyeggo/delete-artifact@v5 with: name: timing-html