2 commits

Author	SHA1	Message	Date
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