diff --git a/.github/workflows/cover.yml b/.github/workflows/cover.yml index 05b014ec7..f0da53734 100644 --- a/.github/workflows/cover.yml +++ b/.github/workflows/cover.yml @@ -44,12 +44,12 @@ jobs: repository: VSharp-team/VSharp-bench path: ./benchmarks - name: Download VSharp.Runner binaries - uses: actions/download-artifact@v3 + uses: actions/download-artifact@v4.1.7 with: name: runner path: ./runner - name: Download VSharp.TestRunner binaries - uses: actions/download-artifact@v3 + uses: actions/download-artifact@v4.1.7 with: name: test_runner path: ./test_runner diff --git a/.github/workflows/publish_docker.yml b/.github/workflows/publish_docker.yml index df58451c3..4943734d3 100644 --- a/.github/workflows/publish_docker.yml +++ b/.github/workflows/publish_docker.yml @@ -27,7 +27,7 @@ jobs: submodules: false - name: Download VSharp.Runner binaries - uses: actions/download-artifact@v3 + uses: actions/download-artifact@v4.1.7 with: name: runner path: ./runner