copilot-swe-agent[bot]
|
8a49ca490f
|
Fix git sparse-checkout error in a3-python workflows
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
|
2026-02-13 03:54:06 +00:00 |
|
copilot-swe-agent[bot]
|
25fc58c717
|
Add sparse-checkout step to a3-python workflow for Python source files
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
|
2026-02-11 00:33:03 +00:00 |
|
copilot-swe-agent[bot]
|
da210a73b8
|
Fix YAML indentation in a3-python.md network field
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
|
2026-02-10 23:56:03 +00:00 |
|
Nikolaj Bjorner
|
426d1ae923
|
Add network permissions to Python workflow
|
2026-02-10 15:08:36 -08:00 |
|
copilot-swe-agent[bot]
|
b5b6c4c124
|
Add a3-python agentic workflow
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
|
2026-02-10 20:52:50 +00:00 |
|