From 928dd86bcb78d9bd01d89094e332c5a5b957f4d2 Mon Sep 17 00:00:00 2001 From: Alasdair Date: Fri, 7 Apr 2023 15:54:55 +0100 Subject: Some simple CI housekeeping Update the versions of some of the Github actions, as some of the older action versions used parts of the github API that are deprecated and due to be removed. --- .github/workflows/compile.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to '.github/workflows/compile.yml') diff --git a/.github/workflows/compile.yml b/.github/workflows/compile.yml index fa3d1c4..ea36378 100644 --- a/.github/workflows/compile.yml +++ b/.github/workflows/compile.yml @@ -22,13 +22,13 @@ jobs: run: eval $(opam env) && test/run_tests.sh - name: Upload test results if: always() - uses: actions/upload-artifact@v2 + uses: actions/upload-artifact@v3 with: name: tests.xml path: test/tests.xml - name: Upload event payload if: always() - uses: actions/upload-artifact@v2 + uses: actions/upload-artifact@v3 with: name: event.json path: ${{ github.event_path }} -- cgit v1.1