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 |
|
copilot-swe-agent[bot]
|
f4302f6a25
|
Add sparse-checkout step to a3-python workflow for Python source files
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
|
2026-02-18 21:02:20 -08:00 |
|
copilot-swe-agent[bot]
|
b739cd2fb5
|
Fix YAML indentation in a3-python.md network field
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
|
2026-02-18 21:02:19 -08:00 |
|
Nikolaj Bjorner
|
08eb25e14c
|
Add network permissions to Python workflow
|
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 |
|