3 commits

Author	SHA1	Message	Date
dependabot[bot]	18ead3143a	Bump actions/setup-python from 5 to 6 ... Bumps [actions/setup-python](https://github.com/actions/setup-python) from 5 to 6. - [Release notes](https://github.com/actions/setup-python/releases) - [Commits](https://github.com/actions/setup-python/compare/v5...v6) --- updated-dependencies: - dependency-name: actions/setup-python dependency-version: '6' dependency-type: direct:production update-type: version-update:semver-major ... Signed-off-by: dependabot[bot] <support@github.com>	2026-01-19 23:03:41 +00:00
Nikolaj Bjorner	de0aa0cd1d	Implement concurrency for CI workflow ... Add concurrency settings to the CI workflow	2026-01-18 16:40:59 -08:00
Copilot	22649f7e66	Migrate Azure Pipelines to GitHub Actions (#8238) ... * Initial plan * Migrate Azure Pipelines to GitHub Actions CI workflow Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com> * Add CI testing and validation documentation Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com> * Update manylinux container image in CI workflow * Disable test execution in CI workflow --------- Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com> Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com> Co-authored-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2026-01-18 16:27:30 -08:00