dependabot[bot]
|
f2f2d37a3f
|
Bump github/gh-aw from 0.43.15 to 0.45.1
Bumps [github/gh-aw](https://github.com/github/gh-aw) from 0.43.15 to 0.45.1.
- [Release notes](https://github.com/github/gh-aw/releases)
- [Commits](https://github.com/github/gh-aw/compare/v0.43.15...v0.45.1)
---
updated-dependencies:
- dependency-name: github/gh-aw
dependency-version: 0.45.1
dependency-type: direct:production
update-type: version-update:semver-minor
...
Signed-off-by: dependabot[bot] <support@github.com>
|
2026-02-16 22:15:27 +00:00 |
|
copilot-swe-agent[bot]
|
e3981e5213
|
Fix git sparse-checkout initialization in a3-python workflows
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
|
2026-02-16 17:45:25 +00:00 |
|
Nikolaj Bjorner
|
e553ee2110
|
revert to last working flows
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2026-02-16 09:29:10 -08:00 |
|
copilot-swe-agent[bot]
|
d6300b995c
|
Fix a3-python-v2 workflow compilation error
- Remove invalid source reference to non-existent commit
- Fix network domains: 'default' → 'defaults'
- Remove serena tools configuration
- Recompile workflow with gh-aw v0.45.0
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
|
2026-02-16 01:33:43 +00:00 |
|
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 |
|
Nikolaj Bjorner
|
83b60990b1
|
add tool
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2026-02-12 19:40:19 -08:00 |
|
copilot-swe-agent[bot]
|
682ed62dd7
|
Recompile a3-python-v2 workflow with gh-aw v0.43.5
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
|
2026-02-11 11:21:05 +00:00 |
|
Nikolaj Bjorner
|
46ad0f67b3
|
Add agentic workflow a3-python-v2
|
2026-02-10 19:53:13 -08:00 |
|