Nikolaj Bjorner
|
fa5f5c5824
|
update version
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2026-02-18 21:02:27 -08:00 |
|
Nikolaj Bjorner
|
adacc27644
|
upgrade workflows
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2026-02-18 21:02:24 -08:00 |
|
Nikolaj Bjorner
|
d1efd3416b
|
updates
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2026-02-18 20:58:03 -08:00 |
|
Copilot
|
e57ca70bb8
|
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-02-18 20:57:52 -08:00 |
|
Copilot
|
05de58c483
|
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-02-18 20:57:50 -08:00 |
|