Nikolaj Bjorner
|
5c41b93498
|
Merge pull request #8659 from Z3Prover/dependabot/github_actions/actions/download-artifact-7.0.0
Bump actions/download-artifact from 6.0.0 to 7.0.0
|
2026-02-16 19:40:15 -08:00 |
|
Nikolaj Bjorner
|
88b004b5b6
|
Merge pull request #8660 from Z3Prover/dependabot/github_actions/actions/checkout-6.0.2
Bump actions/checkout from 5.0.1 to 6.0.2
|
2026-02-16 19:34:55 -08:00 |
|
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 |
|
dependabot[bot]
|
93afd93766
|
Bump actions/checkout from 5.0.1 to 6.0.2
Bumps [actions/checkout](https://github.com/actions/checkout) from 5.0.1 to 6.0.2.
- [Release notes](https://github.com/actions/checkout/releases)
- [Commits](https://github.com/actions/checkout/compare/v5.0.1...v6.0.2)
---
updated-dependencies:
- dependency-name: actions/checkout
dependency-version: 6.0.2
dependency-type: direct:production
update-type: version-update:semver-major
...
Signed-off-by: dependabot[bot] <support@github.com>
|
2026-02-16 22:13:44 +00:00 |
|
dependabot[bot]
|
7319b08b7f
|
Bump actions/download-artifact from 6.0.0 to 7.0.0
Bumps [actions/download-artifact](https://github.com/actions/download-artifact) from 6.0.0 to 7.0.0.
- [Release notes](https://github.com/actions/download-artifact/releases)
- [Commits](https://github.com/actions/download-artifact/compare/v6...v7)
---
updated-dependencies:
- dependency-name: actions/download-artifact
dependency-version: 7.0.0
dependency-type: direct:production
update-type: version-update:semver-major
...
Signed-off-by: dependabot[bot] <support@github.com>
|
2026-02-16 22:13:09 +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 |
|
Nikolaj Bjorner
|
1463b1ef08
|
Merge pull request #8611 from Z3Prover/copilot/fix-action-run-error
Fix sparse-checkout initialization in a3-python workflows
|
2026-02-15 17:23:06 -08:00 |
|
Nikolaj Bjorner
|
e2486eff77
|
upgrade workflows
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2026-02-13 08:57:00 -08: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
|
74502a969c
|
recompile aw
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2026-02-10 17:27:30 -08:00 |
|
Nikolaj Bjorner
|
71bf76e76c
|
update
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2026-02-10 15:59:03 -08:00 |
|
copilot-swe-agent[bot]
|
826581e2ef
|
Recompile a3-python.md workflow with gh-aw v0.43.2
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
|
2026-02-10 23:10:24 +00: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 |
|