Angelica Moreira
db46d52056
fix memory-safety-report to download artifacts via MCP tools ( #8979 )
...
gh CLI is not available inside AWF so the agent could not download
artifacts. Switch to GitHub MCP actions toolset for artifact URLs
and add helper scripts for download and parsing.
2026-03-15 10:12:49 -07:00
Nikolaj Bjorner
8ba5fb6698
compile updated workflows
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2026-03-12 13:33:37 -07:00
Nikolaj Bjorner
664c8ca73a
compiled workflows
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2026-03-11 21:39:28 -07:00
dependabot[bot]
a53d63be85
Bump github/gh-aw from 0.45.6 to 0.57.0
...
Bumps [github/gh-aw](https://github.com/github/gh-aw ) from 0.45.6 to 0.57.0.
- [Release notes](https://github.com/github/gh-aw/releases )
- [Commits](https://github.com/github/gh-aw/compare/v0.45.6...v0.57.0 )
---
updated-dependencies:
- dependency-name: github/gh-aw
dependency-version: 0.57.0
dependency-type: direct:production
update-type: version-update:semver-minor
...
Signed-off-by: dependabot[bot] <support@github.com>
2026-03-09 22:47:13 +00:00
Nikolaj Bjorner
30483d6cf2
Merge pull request #8835 from Z3Prover/dependabot/github_actions/actions/download-artifact-8.0.0
...
Bump actions/download-artifact from 6.0.0 to 8.0.0
2026-03-02 15:48:03 -08:00
Nikolaj Bjorner
ef648ff632
Merge pull request #8833 from Z3Prover/dependabot/github_actions/actions/upload-artifact-7.0.0
...
Bump actions/upload-artifact from 6.0.0 to 7.0.0
2026-03-02 15:47:48 -08:00
Nikolaj Bjorner
07742ed49f
Merge pull request #8834 from Z3Prover/dependabot/github_actions/actions/cache-5.0.3
...
Bump actions/cache from 4.3.0 to 5.0.3
2026-03-02 15:47:34 -08:00
Nikolaj Bjorner
ba88256a2a
Merge pull request #8836 from Z3Prover/dependabot/github_actions/actions/checkout-6.0.2
...
Bump actions/checkout from 5.0.1 to 6.0.2
2026-03-02 15:47:22 -08:00
dependabot[bot]
11d3a11cea
Bump github/gh-aw from 0.45.6 to 0.51.6
...
Bumps [github/gh-aw](https://github.com/github/gh-aw ) from 0.45.6 to 0.51.6.
- [Release notes](https://github.com/github/gh-aw/releases )
- [Commits](https://github.com/github/gh-aw/compare/v0.45.6...v0.51.6 )
---
updated-dependencies:
- dependency-name: github/gh-aw
dependency-version: 0.51.6
dependency-type: direct:production
update-type: version-update:semver-minor
...
Signed-off-by: dependabot[bot] <support@github.com>
2026-03-02 23:44:00 +00:00
dependabot[bot]
e482052b37
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-03-02 23:42:08 +00:00
dependabot[bot]
867e768aa8
Bump actions/download-artifact from 6.0.0 to 8.0.0
...
Bumps [actions/download-artifact](https://github.com/actions/download-artifact ) from 6.0.0 to 8.0.0.
- [Release notes](https://github.com/actions/download-artifact/releases )
- [Commits](https://github.com/actions/download-artifact/compare/v6...v8 )
---
updated-dependencies:
- dependency-name: actions/download-artifact
dependency-version: 8.0.0
dependency-type: direct:production
update-type: version-update:semver-major
...
Signed-off-by: dependabot[bot] <support@github.com>
2026-03-02 23:41:23 +00:00
dependabot[bot]
b7a4ddbcd5
Bump actions/cache from 4.3.0 to 5.0.3
...
Bumps [actions/cache](https://github.com/actions/cache ) from 4.3.0 to 5.0.3.
- [Release notes](https://github.com/actions/cache/releases )
- [Commits](https://github.com/actions/cache/compare/v4.3.0...v5.0.3 )
---
updated-dependencies:
- dependency-name: actions/cache
dependency-version: 5.0.3
dependency-type: direct:production
update-type: version-update:semver-major
...
Signed-off-by: dependabot[bot] <support@github.com>
2026-03-02 23:40:54 +00:00
dependabot[bot]
a7e3635931
Bump actions/upload-artifact from 6.0.0 to 7.0.0
...
Bumps [actions/upload-artifact](https://github.com/actions/upload-artifact ) from 6.0.0 to 7.0.0.
- [Release notes](https://github.com/actions/upload-artifact/releases )
- [Commits](https://github.com/actions/upload-artifact/compare/v6...v7 )
---
updated-dependencies:
- dependency-name: actions/upload-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-03-02 23:40:26 +00:00
Nikolaj Bjorner
48de0f8a5e
updated compiled workflows
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2026-02-24 16:12:53 -08:00
Nikolaj Bjorner
fe5c15e1fc
Merge pull request #8743 from Z3Prover/dependabot/github_actions/github/gh-aw-0.49.5
...
Bump github/gh-aw from 0.45.6 to 0.49.5
2026-02-23 20:32:37 -08:00
Nikolaj Bjorner
55753ba36f
Merge pull request #8745 from Z3Prover/dependabot/github_actions/actions/download-artifact-7
...
Bump actions/download-artifact from 4 to 7
2026-02-23 20:31:58 -08:00
dependabot[bot]
a61de6023a
Bump actions/download-artifact from 4 to 7
...
Bumps [actions/download-artifact](https://github.com/actions/download-artifact ) from 4 to 7.
- [Release notes](https://github.com/actions/download-artifact/releases )
- [Commits](https://github.com/actions/download-artifact/compare/v4...v7 )
---
updated-dependencies:
- dependency-name: actions/download-artifact
dependency-version: '7'
dependency-type: direct:production
update-type: version-update:semver-major
...
Signed-off-by: dependabot[bot] <support@github.com>
2026-02-23 23:24:27 +00:00
dependabot[bot]
c3a97b5a03
Bump github/gh-aw from 0.45.6 to 0.49.5
...
Bumps [github/gh-aw](https://github.com/github/gh-aw ) from 0.45.6 to 0.49.5.
- [Release notes](https://github.com/github/gh-aw/releases )
- [Commits](https://github.com/github/gh-aw/compare/v0.45.6...v0.49.5 )
---
updated-dependencies:
- dependency-name: github/gh-aw
dependency-version: 0.49.5
dependency-type: direct:production
update-type: version-update:semver-minor
...
Signed-off-by: dependabot[bot] <support@github.com>
2026-02-23 23:23:44 +00:00
dependabot[bot]
51e53b547a
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-23 23:22:21 +00:00
Nikolaj Bjorner
5a91b0e6e9
recompile workflows
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2026-02-17 15:45:34 -08:00
copilot-swe-agent[bot]
5a0ed8e0f7
Document upgrade changes and verify workflow compilation
...
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
2026-02-17 23:34:37 +00:00
copilot-swe-agent[bot]
e6b58ac7dc
Upgrade agentic workflows to gh-aw v0.45.6
...
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
2026-02-17 23:33:27 +00:00
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
Nikolaj Bjorner
86a12f4836
Merge pull request #8661 from Z3Prover/dependabot/github_actions/github/gh-aw-0.45.1
...
Bump github/gh-aw from 0.43.15 to 0.45.1
2026-02-16 19:34:43 -08:00
dependabot[bot]
d241c7e745
Bump actions/cache from 4.3.0 to 5.0.3
...
Bumps [actions/cache](https://github.com/actions/cache ) from 4.3.0 to 5.0.3.
- [Release notes](https://github.com/actions/cache/releases )
- [Commits](https://github.com/actions/cache/compare/v4.3.0...v5.0.3 )
---
updated-dependencies:
- dependency-name: actions/cache
dependency-version: 5.0.3
dependency-type: direct:production
update-type: version-update:semver-major
...
Signed-off-by: dependabot[bot] <support@github.com>
2026-02-16 22:15:45 +00: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
Nikolaj Bjorner
e2486eff77
upgrade workflows
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2026-02-13 08:57:00 -08:00
dependabot[bot]
99a7eb9a40
Bump githubnext/gh-aw from 0.40.0 to 0.42.17
...
Bumps [githubnext/gh-aw](https://github.com/githubnext/gh-aw ) from 0.40.0 to 0.42.17.
- [Release notes](https://github.com/githubnext/gh-aw/releases )
- [Changelog](https://github.com/github/gh-aw/blob/main/CHANGELOG.md )
- [Commits](https://github.com/githubnext/gh-aw/compare/v0.40.0...v0.42.17 )
---
updated-dependencies:
- dependency-name: githubnext/gh-aw
dependency-version: 0.42.17
dependency-type: direct:production
update-type: version-update:semver-minor
...
Signed-off-by: dependabot[bot] <support@github.com>
2026-02-10 00:44:41 +00:00
dependabot[bot]
818e687c08
Bump githubnext/gh-aw from 0.37.24 to 0.40.0 ( #8484 )
...
Bumps [githubnext/gh-aw](https://github.com/githubnext/gh-aw ) from 0.37.24 to 0.40.0.
- [Release notes](https://github.com/githubnext/gh-aw/releases )
- [Changelog](https://github.com/github/gh-aw/blob/main/CHANGELOG.md )
- [Commits](https://github.com/githubnext/gh-aw/compare/v0.37.24...v0.40.0 )
---
updated-dependencies:
- dependency-name: githubnext/gh-aw
dependency-version: 0.40.0
dependency-type: direct:production
update-type: version-update:semver-minor
...
Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2026-02-03 10:08:49 -08:00
dependabot[bot]
6fe24baaec
Bump actions/cache from 4 to 5 ( #8482 )
...
Bumps [actions/cache](https://github.com/actions/cache ) from 4 to 5.
- [Release notes](https://github.com/actions/cache/releases )
- [Commits](https://github.com/actions/cache/compare/v4...v5 )
---
updated-dependencies:
- dependency-name: actions/cache
dependency-version: '5'
dependency-type: direct:production
update-type: version-update:semver-major
...
Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2026-02-03 10:08:34 -08:00
dependabot[bot]
19da20c91a
Bump actions/download-artifact from 6.0.0 to 7.0.0 ( #8481 )
...
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>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2026-02-03 10:08:09 -08:00
dependabot[bot]
7087adde9a
Bump actions/checkout from 5.0.1 to 6.0.2 ( #8483 )
...
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>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2026-02-03 10:07:58 -08:00
Copilot
078be3bd65
Remove structured bindings refactoring from code conventions analyzer ( #8428 )
...
* Initial plan
* Remove structured bindings focus from code conventions analyzer
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
* Regenerate code-conventions-analyzer.lock.yml after removing structured bindings
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
---------
Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
2026-01-29 18:56:55 -08:00
Copilot
7c37dfb807
Change code conventions workflow schedule from every 3 hours to daily ( #8402 )
...
* Initial plan
* Update code conventions workflow to run once daily instead of every 3 hours
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
---------
Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
2026-01-27 13:56:44 -08:00
Copilot
75096354f1
Remove std::optional from Code Conventions Analyzer workflow ( #8360 )
...
* Initial plan
* Remove std::optional from Code Conventions Analysis workflow
- Remove std::optional from Exception Control Flow alternatives
- Remove std::optional from Prioritize safety guidelines
- Recompile workflow to update lock file
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
---------
Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
2026-01-27 10:30:24 -08:00
dependabot[bot]
de445858b3
Bump actions/cache from 4.3.0 to 5.0.2 ( #8350 )
...
Bumps [actions/cache](https://github.com/actions/cache ) from 4.3.0 to 5.0.2.
- [Release notes](https://github.com/actions/cache/releases )
- [Commits](https://github.com/actions/cache/compare/v4.3.0...v5.0.2 )
---
updated-dependencies:
- dependency-name: actions/cache
dependency-version: 5.0.2
dependency-type: direct:production
update-type: version-update:semver-major
...
Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2026-01-26 16:07:33 -08:00
dependabot[bot]
8596ec695b
Bump actions/checkout from 4 to 6 ( #8351 )
...
Bumps [actions/checkout](https://github.com/actions/checkout ) from 4 to 6.
- [Release notes](https://github.com/actions/checkout/releases )
- [Commits](https://github.com/actions/checkout/compare/v4...v6 )
---
updated-dependencies:
- dependency-name: actions/checkout
dependency-version: '6'
dependency-type: direct:production
update-type: version-update:semver-major
...
Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2026-01-26 16:07:23 -08:00
dependabot[bot]
248c8059d4
Bump githubnext/gh-aw from 0.37.23 to 0.37.24 ( #8352 )
...
Bumps [githubnext/gh-aw](https://github.com/githubnext/gh-aw ) from 0.37.23 to 0.37.24.
- [Release notes](https://github.com/githubnext/gh-aw/releases )
- [Changelog](https://github.com/githubnext/gh-aw/blob/main/CHANGELOG.md )
- [Commits](https://github.com/githubnext/gh-aw/compare/v0.37.23...v0.37.24 )
---
updated-dependencies:
- dependency-name: githubnext/gh-aw
dependency-version: 0.37.24
dependency-type: direct:production
update-type: version-update:semver-patch
...
Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2026-01-26 16:07:12 -08:00
Copilot
4d86525319
Disable std::optional refactoring in code-conventions-analyzer workflow ( #8349 )
...
* Initial plan
* Remove std::optional refactoring instructions from code-conventions-analyzer
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
* Recompile workflows after removing std::optional instructions
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
* Update workflow lock files to latest version
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
---------
Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
2026-01-26 13:42:35 -08:00
Copilot
ee14a9dbd7
Schedule code-conventions-analyzer to run every 3 hours ( #8340 )
...
* Initial plan
* Update code-conventions-analyzer to run every 3 hours
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
---------
Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
2026-01-25 20:12:36 -08:00
Copilot
944777afc0
Increase code-conventions-analyzer issue creation limit to 5 per run ( #8332 )
...
* Initial plan
* Add max: 5 to code-conventions-analyzer workflow to generate up to 5 issues per run
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
---------
Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
2026-01-25 12:31:07 -08:00
Copilot
d87aa87ae4
Recompile agentic workflows to gh-aw v0.37.19 ( #8323 )
...
* Initial plan
* Initial plan: Recompile agentic workflows to latest gh-aw version
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
* Update gh-aw instruction files with latest features
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
---------
Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
2026-01-24 12:08:16 -08:00
Copilot
1d022fa591
Fix code-conventions-analyzer to create issues instead of pull requests ( #8311 )
...
* Initial plan
* Fix code-conventions-analyzer to create issues instead of pull requests
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
---------
Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
2026-01-23 15:37:35 -08:00
Copilot
e3777d86d6
[WIP] Update code conventions analyzer for initializer_list usage ( #8307 )
...
* Initial plan
* Add initializer_list pattern detection to code conventions analyzer
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
* Compile updated code conventions analyzer workflow
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
* Fix regex patterns in initializer_list search examples
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
* Fix regex pattern to match both single and double pointers
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
---------
Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
2026-01-23 14:20:34 -08:00
Copilot
736d5924e5
[WIP] Update code convention analyzer for tuple patterns ( #8306 )
...
* Initial plan
* Add tuple pattern detection to code conventions analyzer
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
* Clarify search pattern comment for tuple pattern detection
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
* Improve examples and search patterns based on code review feedback
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
---------
Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
2026-01-23 13:48:42 -08:00
Nikolaj Bjorner
fc3bf1e6d8
recompile
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2026-01-23 05:23:26 +00:00
Copilot
6feb3391a2
Regenerate workflow lock files with gh-aw v0.37.12 ( #8290 )
...
* Initial plan
* Fix workflow lock files - regenerate with gh-aw v0.37.12
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
---------
Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
2026-01-22 17:37:52 -08:00
