Angelica Moreira
db46d52056
fix memory-safety-report to download artifacts via MCP tools ( #8979 )
...
gh CLI is not available inside AWF so the agent could not download
artifacts. Switch to GitHub MCP actions toolset for artifact URLs
and add helper scripts for download and parsing.
2026-03-15 10:12:49 -07:00
Nikolaj Bjorner
8ba5fb6698
compile updated workflows
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2026-03-12 13:33:37 -07:00
Nikolaj Bjorner
664c8ca73a
compiled workflows
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2026-03-11 21:39:28 -07:00
Nikolaj Bjorner
2a784c6094
Merge pull request #8910 from Z3Prover/dependabot/github_actions/actions/checkout-6
...
Bump actions/checkout from 4 to 6
2026-03-09 18:57:39 -07:00
Nikolaj Bjorner
0c84384d48
Merge pull request #8911 from Z3Prover/dependabot/github_actions/github/gh-aw-0.57.0
...
Bump github/gh-aw from 0.45.6 to 0.57.0
2026-03-09 18:57:29 -07:00
Nikolaj Bjorner
14e0492cce
Merge pull request #8912 from Z3Prover/dependabot/github_actions/actions/download-artifact-8
...
Bump actions/download-artifact from 4 to 8
2026-03-09 18:57:18 -07:00
dependabot[bot]
2f10db79b0
Bump actions/upload-artifact from 4 to 7
...
Bumps [actions/upload-artifact](https://github.com/actions/upload-artifact ) from 4 to 7.
- [Release notes](https://github.com/actions/upload-artifact/releases )
- [Commits](https://github.com/actions/upload-artifact/compare/v4...v7 )
---
updated-dependencies:
- dependency-name: actions/upload-artifact
dependency-version: '7'
dependency-type: direct:production
update-type: version-update:semver-major
...
Signed-off-by: dependabot[bot] <support@github.com>
2026-03-09 22:48:37 +00:00
dependabot[bot]
d11206d3d4
Bump actions/download-artifact from 4 to 8
...
Bumps [actions/download-artifact](https://github.com/actions/download-artifact ) from 4 to 8.
- [Release notes](https://github.com/actions/download-artifact/releases )
- [Commits](https://github.com/actions/download-artifact/compare/v4...v8 )
---
updated-dependencies:
- dependency-name: actions/download-artifact
dependency-version: '8'
dependency-type: direct:production
update-type: version-update:semver-major
...
Signed-off-by: dependabot[bot] <support@github.com>
2026-03-09 22:47:37 +00:00
dependabot[bot]
a53d63be85
Bump github/gh-aw from 0.45.6 to 0.57.0
...
Bumps [github/gh-aw](https://github.com/github/gh-aw ) from 0.45.6 to 0.57.0.
- [Release notes](https://github.com/github/gh-aw/releases )
- [Commits](https://github.com/github/gh-aw/compare/v0.45.6...v0.57.0 )
---
updated-dependencies:
- dependency-name: github/gh-aw
dependency-version: 0.57.0
dependency-type: direct:production
update-type: version-update:semver-minor
...
Signed-off-by: dependabot[bot] <support@github.com>
2026-03-09 22:47:13 +00:00
dependabot[bot]
d21231fc22
Bump actions/checkout from 4 to 6
...
Bumps [actions/checkout](https://github.com/actions/checkout ) from 4 to 6.
- [Release notes](https://github.com/actions/checkout/releases )
- [Commits](https://github.com/actions/checkout/compare/v4...v6 )
---
updated-dependencies:
- dependency-name: actions/checkout
dependency-version: '6'
dependency-type: direct:production
update-type: version-update:semver-major
...
Signed-off-by: dependabot[bot] <support@github.com>
2026-03-09 22:44:52 +00:00
copilot-swe-agent[bot]
ea4ee11117
Rename Qf S Benchmark to ZIPT Benchmark in workflow files
...
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
2026-03-06 00:05:35 +00:00
Nikolaj Bjorner
e8bfa10d29
test c3
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2026-03-05 16:00:55 -08:00
