Nikolaj Bjorner
|
2da80914cc
|
revert to last working flows
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2026-02-18 21:02:27 -08:00 |
|
copilot-swe-agent[bot]
|
068e8c70c4
|
Fix git sparse-checkout error in a3-python workflows
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
|
2026-02-18 21:02:25 -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
|
816b0d2b40
|
recompile aw
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2026-02-18 21:02:20 -08:00 |
|
Nikolaj Bjorner
|
6bdd0353cf
|
update
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2026-02-18 21:02:19 -08:00 |
|
copilot-swe-agent[bot]
|
eef7d12667
|
Recompile a3-python.md workflow with gh-aw v0.43.2
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
|
2026-02-18 21:02:19 -08:00 |
|
copilot-swe-agent[bot]
|
9cd53f1f79
|
Add a3-python agentic workflow
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
|
2026-02-18 21:02:18 -08:00 |
|