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 |
|
Copilot
|
cbbbcabc1c
|
[WIP] Change pull request instructions to discussion (#8253)
* Initial plan
* Update Release Notes Updater workflow to create discussions instead of PRs
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:49 -08:00 |
|
Copilot
|
b090dc1cb2
|
Add weekly agentic workflow to auto-update RELEASE_NOTES.md (#8249)
* Initial plan
* Add weekly release notes updater workflow
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:49 -08:00 |
|