Nikolaj Bjorner
|
b0c655d2cf
|
Update nightly.yml
|
2026-02-18 20:57:32 -08:00 |
|
Nikolaj Bjorner
|
3f48780224
|
Update nightly.yml
|
2026-02-18 20:57:32 -08:00 |
|
Copilot
|
ac097f1d74
|
Fix artifact extraction patterns in nightly Python packaging job (#8217)
* Initial plan
* Fix unzip patterns in Python packaging job
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:31 -08:00 |
|
Copilot
|
1d304d0300
|
Fix nightly build failures in ARM64 and Python packaging jobs (#8213)
* Initial plan
* Fix nightly build workflow failures for ARM64 and Python packaging
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:31 -08:00 |
|
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 |
|