diff --git a/.github/workflows/android-build.yml b/.github/workflows/android-build.yml index 1e665d3b0..896cb2192 100644 --- a/.github/workflows/android-build.yml +++ b/.github/workflows/android-build.yml @@ -32,7 +32,7 @@ jobs: tar -cvf z3-build-${{ matrix.android-abi }}.tar *.jar *.so - name: Archive production artifacts - uses: actions/upload-artifact@v5 + uses: actions/upload-artifact@v6 with: name: android-build-${{ matrix.android-abi }} path: build/z3-build-${{ matrix.android-abi }}.tar diff --git a/.github/workflows/ask.lock.yml b/.github/workflows/ask.lock.yml index ac8497742..ff908ab9e 100644 --- a/.github/workflows/ask.lock.yml +++ b/.github/workflows/ask.lock.yml @@ -1223,7 +1223,7 @@ jobs: .write(); - name: Upload agentic run info if: always() - uses: actions/upload-artifact@v5 + uses: actions/upload-artifact@v6 with: name: aw_info.json path: /tmp/aw_info.json @@ -1329,7 +1329,7 @@ jobs: echo "" >> $GITHUB_STEP_SUMMARY - name: Upload agentic output file if: always() - uses: actions/upload-artifact@v5 + uses: actions/upload-artifact@v6 with: name: safe_output.jsonl path: ${{ env.GITHUB_AW_SAFE_OUTPUTS }} @@ -2277,7 +2277,7 @@ jobs: await main(); - name: Upload sanitized agent output if: always() && env.GITHUB_AW_AGENT_OUTPUT - uses: actions/upload-artifact@v5 + uses: actions/upload-artifact@v6 with: name: agent_output.json path: ${{ env.GITHUB_AW_AGENT_OUTPUT }} @@ -2814,7 +2814,7 @@ jobs: main(); - name: Upload agent logs if: always() - uses: actions/upload-artifact@v5 + uses: actions/upload-artifact@v6 with: name: question-answering-researcher.log path: /tmp/question-answering-researcher.log diff --git a/.github/workflows/ci-doctor.lock.yml b/.github/workflows/ci-doctor.lock.yml index 4a58ea304..246f7fc40 100644 --- a/.github/workflows/ci-doctor.lock.yml +++ b/.github/workflows/ci-doctor.lock.yml @@ -808,7 +808,7 @@ jobs: .write(); - name: Upload agentic run info if: always() - uses: actions/upload-artifact@v5 + uses: actions/upload-artifact@v6 with: name: aw_info.json path: /tmp/aw_info.json @@ -911,7 +911,7 @@ jobs: echo "" >> $GITHUB_STEP_SUMMARY - name: Upload agentic output file if: always() - uses: actions/upload-artifact@v5 + uses: actions/upload-artifact@v6 with: name: safe_output.jsonl path: ${{ env.GITHUB_AW_SAFE_OUTPUTS }} @@ -1859,7 +1859,7 @@ jobs: await main(); - name: Upload sanitized agent output if: always() && env.GITHUB_AW_AGENT_OUTPUT - uses: actions/upload-artifact@v5 + uses: actions/upload-artifact@v6 with: name: agent_output.json path: ${{ env.GITHUB_AW_AGENT_OUTPUT }} @@ -2396,7 +2396,7 @@ jobs: main(); - name: Upload agent logs if: always() - uses: actions/upload-artifact@v5 + uses: actions/upload-artifact@v6 with: name: ci-failure-doctor.log path: /tmp/ci-failure-doctor.log diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml index f9d2162d4..4bfd0154e 100644 --- a/.github/workflows/coverage.yml +++ b/.github/workflows/coverage.yml @@ -89,13 +89,13 @@ jobs: id: date run: echo "date=$(date +'%Y-%m-%d')" >> $GITHUB_OUTPUT - - uses: actions/upload-artifact@v5 + - uses: actions/upload-artifact@v6 with: name: coverage-${{steps.date.outputs.date}} path: ${{github.workspace}}/coverage.html retention-days: 4 - - uses: actions/upload-artifact@v5 + - uses: actions/upload-artifact@v6 with: name: coverage-details-${{steps.date.outputs.date}} path: ${{env.COV_DETAILS_PATH}} diff --git a/.github/workflows/daily-backlog-burner.lock.yml b/.github/workflows/daily-backlog-burner.lock.yml index 418c860da..e35ffeb88 100644 --- a/.github/workflows/daily-backlog-burner.lock.yml +++ b/.github/workflows/daily-backlog-burner.lock.yml @@ -747,7 +747,7 @@ jobs: .write(); - name: Upload agentic run info if: always() - uses: actions/upload-artifact@v5 + uses: actions/upload-artifact@v6 with: name: aw_info.json path: /tmp/aw_info.json @@ -856,7 +856,7 @@ jobs: echo "" >> $GITHUB_STEP_SUMMARY - name: Upload agentic output file if: always() - uses: actions/upload-artifact@v5 + uses: actions/upload-artifact@v6 with: name: safe_output.jsonl path: ${{ env.GITHUB_AW_SAFE_OUTPUTS }} @@ -1804,7 +1804,7 @@ jobs: await main(); - name: Upload sanitized agent output if: always() && env.GITHUB_AW_AGENT_OUTPUT - uses: actions/upload-artifact@v5 + uses: actions/upload-artifact@v6 with: name: agent_output.json path: ${{ env.GITHUB_AW_AGENT_OUTPUT }} @@ -2341,7 +2341,7 @@ jobs: main(); - name: Upload agent logs if: always() - uses: actions/upload-artifact@v5 + uses: actions/upload-artifact@v6 with: name: daily-backlog-burner.log path: /tmp/daily-backlog-burner.log @@ -2435,7 +2435,7 @@ jobs: fi - name: Upload git patch if: always() - uses: actions/upload-artifact@v5 + uses: actions/upload-artifact@v6 with: name: aw.patch path: /tmp/aw.patch diff --git a/.github/workflows/daily-perf-improver.lock.yml b/.github/workflows/daily-perf-improver.lock.yml index c44d94a12..0cda573b9 100644 --- a/.github/workflows/daily-perf-improver.lock.yml +++ b/.github/workflows/daily-perf-improver.lock.yml @@ -822,7 +822,7 @@ jobs: .write(); - name: Upload agentic run info if: always() - uses: actions/upload-artifact@v5 + uses: actions/upload-artifact@v6 with: name: aw_info.json path: /tmp/aw_info.json @@ -931,7 +931,7 @@ jobs: echo "" >> $GITHUB_STEP_SUMMARY - name: Upload agentic output file if: always() - uses: actions/upload-artifact@v5 + uses: actions/upload-artifact@v6 with: name: safe_output.jsonl path: ${{ env.GITHUB_AW_SAFE_OUTPUTS }} @@ -1879,7 +1879,7 @@ jobs: await main(); - name: Upload sanitized agent output if: always() && env.GITHUB_AW_AGENT_OUTPUT - uses: actions/upload-artifact@v5 + uses: actions/upload-artifact@v6 with: name: agent_output.json path: ${{ env.GITHUB_AW_AGENT_OUTPUT }} @@ -2416,7 +2416,7 @@ jobs: main(); - name: Upload agent logs if: always() - uses: actions/upload-artifact@v5 + uses: actions/upload-artifact@v6 with: name: daily-perf-improver.log path: /tmp/daily-perf-improver.log @@ -2510,7 +2510,7 @@ jobs: fi - name: Upload git patch if: always() - uses: actions/upload-artifact@v5 + uses: actions/upload-artifact@v6 with: name: aw.patch path: /tmp/aw.patch diff --git a/.github/workflows/daily-test-improver.lock.yml b/.github/workflows/daily-test-improver.lock.yml index 3dcabbcae..d1f8db3c4 100644 --- a/.github/workflows/daily-test-improver.lock.yml +++ b/.github/workflows/daily-test-improver.lock.yml @@ -797,7 +797,7 @@ jobs: .write(); - name: Upload agentic run info if: always() - uses: actions/upload-artifact@v5 + uses: actions/upload-artifact@v6 with: name: aw_info.json path: /tmp/aw_info.json @@ -906,7 +906,7 @@ jobs: echo "" >> $GITHUB_STEP_SUMMARY - name: Upload agentic output file if: always() - uses: actions/upload-artifact@v5 + uses: actions/upload-artifact@v6 with: name: safe_output.jsonl path: ${{ env.GITHUB_AW_SAFE_OUTPUTS }} @@ -1854,7 +1854,7 @@ jobs: await main(); - name: Upload sanitized agent output if: always() && env.GITHUB_AW_AGENT_OUTPUT - uses: actions/upload-artifact@v5 + uses: actions/upload-artifact@v6 with: name: agent_output.json path: ${{ env.GITHUB_AW_AGENT_OUTPUT }} @@ -2391,7 +2391,7 @@ jobs: main(); - name: Upload agent logs if: always() - uses: actions/upload-artifact@v5 + uses: actions/upload-artifact@v6 with: name: daily-test-coverage-improver.log path: /tmp/daily-test-coverage-improver.log @@ -2485,7 +2485,7 @@ jobs: fi - name: Upload git patch if: always() - uses: actions/upload-artifact@v5 + uses: actions/upload-artifact@v6 with: name: aw.patch path: /tmp/aw.patch diff --git a/.github/workflows/nuget-build.yml b/.github/workflows/nuget-build.yml index 6d502810b..437262253 100644 --- a/.github/workflows/nuget-build.yml +++ b/.github/workflows/nuget-build.yml @@ -34,7 +34,7 @@ jobs: python scripts\mk_win_dist.py --x64-only --dotnet-key=%GITHUB_WORKSPACE%\resources\z3.snk --assembly-version=${{ github.event.inputs.version || '4.15.5' }} --zip - name: Upload Windows x64 artifact - uses: actions/upload-artifact@v5 + uses: actions/upload-artifact@v6 with: name: windows-x64 path: dist/*.zip @@ -58,7 +58,7 @@ jobs: python scripts\mk_win_dist.py --x86-only --dotnet-key=%GITHUB_WORKSPACE%\resources\z3.snk --assembly-version=${{ github.event.inputs.version || '4.15.5' }} --zip - name: Upload Windows x86 artifact - uses: actions/upload-artifact@v5 + uses: actions/upload-artifact@v6 with: name: windows-x86 path: dist/*.zip @@ -82,7 +82,7 @@ jobs: python scripts\mk_win_dist_cmake.py --arm64-only --dotnet-key=%GITHUB_WORKSPACE%\resources\z3.snk --assembly-version=${{ github.event.inputs.version || '4.15.5' }} --zip - name: Upload Windows ARM64 artifact - uses: actions/upload-artifact@v5 + uses: actions/upload-artifact@v6 with: name: windows-arm64 path: build-dist\arm64\dist\*.zip @@ -103,7 +103,7 @@ jobs: run: python scripts/mk_unix_dist.py --dotnet-key=$GITHUB_WORKSPACE/resources/z3.snk - name: Upload Ubuntu artifact - uses: actions/upload-artifact@v5 + uses: actions/upload-artifact@v6 with: name: ubuntu path: dist/*.zip @@ -124,7 +124,7 @@ jobs: run: python scripts/mk_unix_dist.py --dotnet-key=$GITHUB_WORKSPACE/resources/z3.snk - name: Upload macOS x64 artifact - uses: actions/upload-artifact@v5 + uses: actions/upload-artifact@v6 with: name: macos-x64 path: dist/*.zip @@ -145,7 +145,7 @@ jobs: run: python scripts/mk_unix_dist.py --dotnet-key=$GITHUB_WORKSPACE/resources/z3.snk --arch=arm64 - name: Upload macOS ARM64 artifact - uses: actions/upload-artifact@v5 + uses: actions/upload-artifact@v6 with: name: macos-arm64 path: dist/*.zip @@ -198,7 +198,7 @@ jobs: nuget pack out\Microsoft.Z3.sym.nuspec -OutputDirectory . -Verbosity detailed -Symbols -SymbolPackageFormat snupkg -BasePath out - name: Upload NuGet package - uses: actions/upload-artifact@v5 + uses: actions/upload-artifact@v6 with: name: nuget-x64 path: | @@ -247,7 +247,7 @@ jobs: nuget pack out\Microsoft.Z3.x86.sym.nuspec -OutputDirectory . -Verbosity detailed -Symbols -SymbolPackageFormat snupkg -BasePath out - name: Upload NuGet package - uses: actions/upload-artifact@v5 + uses: actions/upload-artifact@v6 with: name: nuget-x86 path: | diff --git a/.github/workflows/pr-fix.lock.yml b/.github/workflows/pr-fix.lock.yml index d8ac5e538..323f204ba 100644 --- a/.github/workflows/pr-fix.lock.yml +++ b/.github/workflows/pr-fix.lock.yml @@ -1251,7 +1251,7 @@ jobs: .write(); - name: Upload agentic run info if: always() - uses: actions/upload-artifact@v5 + uses: actions/upload-artifact@v6 with: name: aw_info.json path: /tmp/aw_info.json @@ -1360,7 +1360,7 @@ jobs: echo "" >> $GITHUB_STEP_SUMMARY - name: Upload agentic output file if: always() - uses: actions/upload-artifact@v5 + uses: actions/upload-artifact@v6 with: name: safe_output.jsonl path: ${{ env.GITHUB_AW_SAFE_OUTPUTS }} @@ -2308,7 +2308,7 @@ jobs: await main(); - name: Upload sanitized agent output if: always() && env.GITHUB_AW_AGENT_OUTPUT - uses: actions/upload-artifact@v5 + uses: actions/upload-artifact@v6 with: name: agent_output.json path: ${{ env.GITHUB_AW_AGENT_OUTPUT }} @@ -2845,7 +2845,7 @@ jobs: main(); - name: Upload agent logs if: always() - uses: actions/upload-artifact@v5 + uses: actions/upload-artifact@v6 with: name: pr-fix.log path: /tmp/pr-fix.log @@ -2939,7 +2939,7 @@ jobs: fi - name: Upload git patch if: always() - uses: actions/upload-artifact@v5 + uses: actions/upload-artifact@v6 with: name: aw.patch path: /tmp/aw.patch