Nikolaj Bjorner
1544462f47
recompiled aw
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2026-04-11 11:17:51 -07:00
Copilot
9c81571eb8
Apply qf-s-benchmark fix: replace ZIPT/dotnet workflow with seq vs nseq only ( #9266 )
...
* Apply qf-s-benchmark fix from agentics/qf-s-benchmark.md: remove ZIPT/dotnet dependency
Agent-Logs-Url: https://github.com/Z3Prover/z3/sessions/c36bada5-c222-4b97-99c4-08392955b32d
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
* Update qf-s-benchmark title prefix and note to QF_S Benchmark
Agent-Logs-Url: https://github.com/Z3Prover/z3/sessions/c36bada5-c222-4b97-99c4-08392955b32d
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
---------
Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
2026-04-10 14:30:44 -07:00
Nikolaj Bjorner
3879e2190a
recompile workflows
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2026-04-01 09:27:45 -07:00
Nikolaj Bjorner
a00ac9be84
udpated wf
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2026-03-24 09:15:08 -07:00
Nikolaj Bjorner
ccdfdbb176
recompiled
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2026-03-20 16:32:44 -07:00
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
Copilot
d87aa87ae4
Recompile agentic workflows to gh-aw v0.37.19 ( #8323 )
...
* Initial plan
* Initial plan: Recompile agentic workflows to latest gh-aw version
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
* Update gh-aw instruction files with latest features
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
---------
Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
2026-01-24 12:08:16 -08:00
Copilot
726b80965e
Upgrade GitHub Agentic Workflows to v0.37.15 ( #8309 )
...
* Initial plan
* Upgrade workflows to gh-aw v0.37.15
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
---------
Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
2026-01-23 15:30:16 -08:00
Copilot
50157d400a
Fix workflow compilation errors and relocate documentation files ( #8295 )
...
* Initial plan
* Fix workflow compilation errors and recompile all workflows
- Fixed code-conventions-analyzer.md: changed missing-tool.create-pull-request to create-issue
- Moved documentation files (CI_MIGRATION.md, CI_TESTING.md, NUGET_BUILD_README.md) from .github/workflows/ to .github/
- Recompiled all workflows successfully
- All .lock.yml files regenerated
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
---------
Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
2026-01-22 21:05:05 -08:00
Copilot
7c4a22d865
Upgrade agentic workflows to gh-aw v0.37.0 ( #8261 )
...
* Initial plan
* Upgrade workflows to gh-aw v0.37.0 (latest)
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
---------
Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
2026-01-20 09:42:30 -08:00
Nikolaj Bjorner
c7cee3227d
update aw to current version
2026-01-08 18:15:03 +00:00
