mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-10-31 03:32:28 +00:00
Code Activity

Merge dfe0b21af3 into efd5d04af5

Browse source
This commit is contained in:
dependabot[bot] 2025-10-27 22:25:46 +00:00 • committed by GitHub
commit 84284b7cd3
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
8 changed files with 31 additions and 31 deletions
Download patch file Download diff file Expand all files Collapse all files

2
.github/workflows/android-build.yml vendored
View file

@ -32,7 +32,7 @@ jobs:
tar -cvf z3-build-${{ matrix.android-abi }}.tar *.jar *.so tar -cvf z3-build-${{ matrix.android-abi }}.tar *.jar *.so
- name: Archive production artifacts - name: Archive production artifacts
uses: actions/upload-artifact@v4 uses: actions/upload-artifact@v5
with: with:
name: android-build-${{ matrix.android-abi }} name: android-build-${{ matrix.android-abi }}
path: build/z3-build-${{ matrix.android-abi }}.tar path: build/z3-build-${{ matrix.android-abi }}.tar

8
.github/workflows/ask.lock.yml generated vendored
View file

@ -1223,7 +1223,7 @@ jobs:
.write(); .write();
- name: Upload agentic run info - name: Upload agentic run info
if: always() if: always()
uses: actions/upload-artifact@v4 uses: actions/upload-artifact@v5
with: with:
name: aw_info.json name: aw_info.json
path: /tmp/aw_info.json path: /tmp/aw_info.json
@ -1329,7 +1329,7 @@ jobs:
echo "" >> $GITHUB_STEP_SUMMARY echo "" >> $GITHUB_STEP_SUMMARY
- name: Upload agentic output file - name: Upload agentic output file
if: always() if: always()
uses: actions/upload-artifact@v4 uses: actions/upload-artifact@v5
with: with:
name: safe_output.jsonl name: safe_output.jsonl
path: ${{ env.GITHUB_AW_SAFE_OUTPUTS }} path: ${{ env.GITHUB_AW_SAFE_OUTPUTS }}
@ -2277,7 +2277,7 @@ jobs:
await main(); await main();
- name: Upload sanitized agent output - name: Upload sanitized agent output
if: always() && env.GITHUB_AW_AGENT_OUTPUT if: always() && env.GITHUB_AW_AGENT_OUTPUT
uses: actions/upload-artifact@v4 uses: actions/upload-artifact@v5
with: with:
name: agent_output.json name: agent_output.json
path: ${{ env.GITHUB_AW_AGENT_OUTPUT }} path: ${{ env.GITHUB_AW_AGENT_OUTPUT }}
@ -2814,7 +2814,7 @@ jobs:
main(); main();
- name: Upload agent logs - name: Upload agent logs
if: always() if: always()
uses: actions/upload-artifact@v4 uses: actions/upload-artifact@v5
with: with:
name: question-answering-researcher.log name: question-answering-researcher.log
path: /tmp/question-answering-researcher.log path: /tmp/question-answering-researcher.log

8
.github/workflows/ci-doctor.lock.yml generated vendored
View file

@ -808,7 +808,7 @@ jobs:
.write(); .write();
- name: Upload agentic run info - name: Upload agentic run info
if: always() if: always()
uses: actions/upload-artifact@v4 uses: actions/upload-artifact@v5
with: with:
name: aw_info.json name: aw_info.json
path: /tmp/aw_info.json path: /tmp/aw_info.json
@ -911,7 +911,7 @@ jobs:
echo "" >> $GITHUB_STEP_SUMMARY echo "" >> $GITHUB_STEP_SUMMARY
- name: Upload agentic output file - name: Upload agentic output file
if: always() if: always()
uses: actions/upload-artifact@v4 uses: actions/upload-artifact@v5
with: with:
name: safe_output.jsonl name: safe_output.jsonl
path: ${{ env.GITHUB_AW_SAFE_OUTPUTS }} path: ${{ env.GITHUB_AW_SAFE_OUTPUTS }}
@ -1859,7 +1859,7 @@ jobs:
await main(); await main();
- name: Upload sanitized agent output - name: Upload sanitized agent output
if: always() && env.GITHUB_AW_AGENT_OUTPUT if: always() && env.GITHUB_AW_AGENT_OUTPUT
uses: actions/upload-artifact@v4 uses: actions/upload-artifact@v5
with: with:
name: agent_output.json name: agent_output.json
path: ${{ env.GITHUB_AW_AGENT_OUTPUT }} path: ${{ env.GITHUB_AW_AGENT_OUTPUT }}
@ -2396,7 +2396,7 @@ jobs:
main(); main();
- name: Upload agent logs - name: Upload agent logs
if: always() if: always()
uses: actions/upload-artifact@v4 uses: actions/upload-artifact@v5
with: with:
name: ci-failure-doctor.log name: ci-failure-doctor.log
path: /tmp/ci-failure-doctor.log path: /tmp/ci-failure-doctor.log

4
.github/workflows/coverage.yml vendored
View file

@ -89,13 +89,13 @@ jobs:
id: date id: date
run: echo "date=$(date +'%Y-%m-%d')" >> $GITHUB_OUTPUT run: echo "date=$(date +'%Y-%m-%d')" >> $GITHUB_OUTPUT
- uses: actions/upload-artifact@v4 - uses: actions/upload-artifact@v5
with: with:
name: coverage-${{steps.date.outputs.date}} name: coverage-${{steps.date.outputs.date}}
path: ${{github.workspace}}/coverage.html path: ${{github.workspace}}/coverage.html
retention-days: 4 retention-days: 4
- uses: actions/upload-artifact@v4 - uses: actions/upload-artifact@v5
with: with:
name: coverage-details-${{steps.date.outputs.date}} name: coverage-details-${{steps.date.outputs.date}}
path: ${{env.COV_DETAILS_PATH}} path: ${{env.COV_DETAILS_PATH}}

10
.github/workflows/daily-backlog-burner.lock.yml generated vendored
View file

@ -747,7 +747,7 @@ jobs:
.write(); .write();
- name: Upload agentic run info - name: Upload agentic run info
if: always() if: always()
uses: actions/upload-artifact@v4 uses: actions/upload-artifact@v5
with: with:
name: aw_info.json name: aw_info.json
path: /tmp/aw_info.json path: /tmp/aw_info.json
@ -856,7 +856,7 @@ jobs:
echo "" >> $GITHUB_STEP_SUMMARY echo "" >> $GITHUB_STEP_SUMMARY
- name: Upload agentic output file - name: Upload agentic output file
if: always() if: always()
uses: actions/upload-artifact@v4 uses: actions/upload-artifact@v5
with: with:
name: safe_output.jsonl name: safe_output.jsonl
path: ${{ env.GITHUB_AW_SAFE_OUTPUTS }} path: ${{ env.GITHUB_AW_SAFE_OUTPUTS }}
@ -1804,7 +1804,7 @@ jobs:
await main(); await main();
- name: Upload sanitized agent output - name: Upload sanitized agent output
if: always() && env.GITHUB_AW_AGENT_OUTPUT if: always() && env.GITHUB_AW_AGENT_OUTPUT
uses: actions/upload-artifact@v4 uses: actions/upload-artifact@v5
with: with:
name: agent_output.json name: agent_output.json
path: ${{ env.GITHUB_AW_AGENT_OUTPUT }} path: ${{ env.GITHUB_AW_AGENT_OUTPUT }}
@ -2341,7 +2341,7 @@ jobs:
main(); main();
- name: Upload agent logs - name: Upload agent logs
if: always() if: always()
uses: actions/upload-artifact@v4 uses: actions/upload-artifact@v5
with: with:
name: daily-backlog-burner.log name: daily-backlog-burner.log
path: /tmp/daily-backlog-burner.log path: /tmp/daily-backlog-burner.log
@ -2435,7 +2435,7 @@ jobs:
fi fi
- name: Upload git patch - name: Upload git patch
if: always() if: always()
uses: actions/upload-artifact@v4 uses: actions/upload-artifact@v5
with: with:
name: aw.patch name: aw.patch
path: /tmp/aw.patch path: /tmp/aw.patch

10
.github/workflows/daily-perf-improver.lock.yml generated vendored
View file

@ -822,7 +822,7 @@ jobs:
.write(); .write();
- name: Upload agentic run info - name: Upload agentic run info
if: always() if: always()
uses: actions/upload-artifact@v4 uses: actions/upload-artifact@v5
with: with:
name: aw_info.json name: aw_info.json
path: /tmp/aw_info.json path: /tmp/aw_info.json
@ -931,7 +931,7 @@ jobs:
echo "" >> $GITHUB_STEP_SUMMARY echo "" >> $GITHUB_STEP_SUMMARY
- name: Upload agentic output file - name: Upload agentic output file
if: always() if: always()
uses: actions/upload-artifact@v4 uses: actions/upload-artifact@v5
with: with:
name: safe_output.jsonl name: safe_output.jsonl
path: ${{ env.GITHUB_AW_SAFE_OUTPUTS }} path: ${{ env.GITHUB_AW_SAFE_OUTPUTS }}
@ -1879,7 +1879,7 @@ jobs:
await main(); await main();
- name: Upload sanitized agent output - name: Upload sanitized agent output
if: always() && env.GITHUB_AW_AGENT_OUTPUT if: always() && env.GITHUB_AW_AGENT_OUTPUT
uses: actions/upload-artifact@v4 uses: actions/upload-artifact@v5
with: with:
name: agent_output.json name: agent_output.json
path: ${{ env.GITHUB_AW_AGENT_OUTPUT }} path: ${{ env.GITHUB_AW_AGENT_OUTPUT }}
@ -2416,7 +2416,7 @@ jobs:
main(); main();
- name: Upload agent logs - name: Upload agent logs
if: always() if: always()
uses: actions/upload-artifact@v4 uses: actions/upload-artifact@v5
with: with:
name: daily-perf-improver.log name: daily-perf-improver.log
path: /tmp/daily-perf-improver.log path: /tmp/daily-perf-improver.log
@ -2510,7 +2510,7 @@ jobs:
fi fi
- name: Upload git patch - name: Upload git patch
if: always() if: always()
uses: actions/upload-artifact@v4 uses: actions/upload-artifact@v5
with: with:
name: aw.patch name: aw.patch
path: /tmp/aw.patch path: /tmp/aw.patch

10
.github/workflows/daily-test-improver.lock.yml generated vendored
View file

@ -797,7 +797,7 @@ jobs:
.write(); .write();
- name: Upload agentic run info - name: Upload agentic run info
if: always() if: always()
uses: actions/upload-artifact@v4 uses: actions/upload-artifact@v5
with: with:
name: aw_info.json name: aw_info.json
path: /tmp/aw_info.json path: /tmp/aw_info.json
@ -906,7 +906,7 @@ jobs:
echo "" >> $GITHUB_STEP_SUMMARY echo "" >> $GITHUB_STEP_SUMMARY
- name: Upload agentic output file - name: Upload agentic output file
if: always() if: always()
uses: actions/upload-artifact@v4 uses: actions/upload-artifact@v5
with: with:
name: safe_output.jsonl name: safe_output.jsonl
path: ${{ env.GITHUB_AW_SAFE_OUTPUTS }} path: ${{ env.GITHUB_AW_SAFE_OUTPUTS }}
@ -1854,7 +1854,7 @@ jobs:
await main(); await main();
- name: Upload sanitized agent output - name: Upload sanitized agent output
if: always() && env.GITHUB_AW_AGENT_OUTPUT if: always() && env.GITHUB_AW_AGENT_OUTPUT
uses: actions/upload-artifact@v4 uses: actions/upload-artifact@v5
with: with:
name: agent_output.json name: agent_output.json
path: ${{ env.GITHUB_AW_AGENT_OUTPUT }} path: ${{ env.GITHUB_AW_AGENT_OUTPUT }}
@ -2391,7 +2391,7 @@ jobs:
main(); main();
- name: Upload agent logs - name: Upload agent logs
if: always() if: always()
uses: actions/upload-artifact@v4 uses: actions/upload-artifact@v5
with: with:
name: daily-test-coverage-improver.log name: daily-test-coverage-improver.log
path: /tmp/daily-test-coverage-improver.log path: /tmp/daily-test-coverage-improver.log
@ -2485,7 +2485,7 @@ jobs:
fi fi
- name: Upload git patch - name: Upload git patch
if: always() if: always()
uses: actions/upload-artifact@v4 uses: actions/upload-artifact@v5
with: with:
name: aw.patch name: aw.patch
path: /tmp/aw.patch path: /tmp/aw.patch

10
.github/workflows/pr-fix.lock.yml generated vendored
View file

@ -1251,7 +1251,7 @@ jobs:
.write(); .write();
- name: Upload agentic run info - name: Upload agentic run info
if: always() if: always()
uses: actions/upload-artifact@v4 uses: actions/upload-artifact@v5
with: with:
name: aw_info.json name: aw_info.json
path: /tmp/aw_info.json path: /tmp/aw_info.json
@ -1360,7 +1360,7 @@ jobs:
echo "" >> $GITHUB_STEP_SUMMARY echo "" >> $GITHUB_STEP_SUMMARY
- name: Upload agentic output file - name: Upload agentic output file
if: always() if: always()
uses: actions/upload-artifact@v4 uses: actions/upload-artifact@v5
with: with:
name: safe_output.jsonl name: safe_output.jsonl
path: ${{ env.GITHUB_AW_SAFE_OUTPUTS }} path: ${{ env.GITHUB_AW_SAFE_OUTPUTS }}
@ -2308,7 +2308,7 @@ jobs:
await main(); await main();
- name: Upload sanitized agent output - name: Upload sanitized agent output
if: always() && env.GITHUB_AW_AGENT_OUTPUT if: always() && env.GITHUB_AW_AGENT_OUTPUT
uses: actions/upload-artifact@v4 uses: actions/upload-artifact@v5
with: with:
name: agent_output.json name: agent_output.json
path: ${{ env.GITHUB_AW_AGENT_OUTPUT }} path: ${{ env.GITHUB_AW_AGENT_OUTPUT }}
@ -2845,7 +2845,7 @@ jobs:
main(); main();
- name: Upload agent logs - name: Upload agent logs
if: always() if: always()
uses: actions/upload-artifact@v4 uses: actions/upload-artifact@v5
with: with:
name: pr-fix.log name: pr-fix.log
path: /tmp/pr-fix.log path: /tmp/pr-fix.log
@ -2939,7 +2939,7 @@ jobs:
fi fi
- name: Upload git patch - name: Upload git patch
if: always() if: always()
uses: actions/upload-artifact@v4 uses: actions/upload-artifact@v5
with: with:
name: aw.patch name: aw.patch
path: /tmp/aw.patch path: /tmp/aw.patch