2 commits

Author	SHA1	Message	Date
Copilot	5986ca33ef	Fix checkout action GLIBC incompatibility in manylinux and macOS builds (#8207) ... * Initial plan * Fix checkout action compatibility with manylinux containers and macOS 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-02-18 20:57:30 -08:00
Copilot	a71cabf8c7	Migrate nightly builds from Azure DevOps to GitHub Actions (#8206) ... * Initial plan * Add GitHub Actions workflow for nightly builds Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com> * Fix Windows builds to use --zip flag instead of manual archiving 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-02-18 20:57:30 -08:00