Copilot
|
2bcc366d32
|
[WIP] Update nightly.yml to fix build error with macOS runner (#8209)
* Initial plan
* Fix macos-13 runner retirement: update to macos-14
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
|
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 |
|