From e81b4f15d4c13e1929872181284d41106b23a21a Mon Sep 17 00:00:00 2001 From: Aaron Tomb Date: Thu, 16 Feb 2023 13:13:19 -0800 Subject: [PATCH] Update actions versions --- .github/workflows/build.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 08a6e61..b9c8e93 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -17,7 +17,7 @@ jobs: solver: [z3-4.8.5, z3-4.12.1] steps: - name: Check out - uses: actions/checkout@v2 + uses: actions/checkout@v3 with: submodules: true fetch-depth: 0 @@ -47,7 +47,7 @@ jobs: if: runner.os == 'Windows' - name: Upload artifact - uses: actions/upload-artifact@v2 + uses: actions/upload-artifact@v3 with: path: bin name: ${{ matrix.solver }}-${{ matrix.os }}-bin