Nikolaj Bjorner
|
aeee4f41af
|
update nightly
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2026-02-18 20:57:34 -08:00 |
|
Nikolaj Bjorner
|
cc136efe94
|
Update python-package job dependencies in nightly.yml
Removed manylinux-python-arm64 dependency from python-package job.
|
2026-02-18 20:57:34 -08:00 |
|
Copilot
|
afe432b165
|
Fix nightly release deployment: explicitly delete Git tag to prevent asset conflicts (#8233)
* Initial plan
* Fix nightly release deployment by explicitly deleting tag
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:34 -08:00 |
|
Nikolaj Bjorner
|
6dd29d2b54
|
Update nightly.yml
|
2026-02-18 20:57:33 -08:00 |
|
Nikolaj Bjorner
|
c27378b8cc
|
List files in tmp directory for nightly release
Add a command to list files before creating the nightly release.
|
2026-02-18 20:57:33 -08:00 |
|
Nikolaj Bjorner
|
eaec507c94
|
Add architecture option to build command
|
2026-02-18 20:57:33 -08:00 |
|
Nikolaj Bjorner
|
bd7caa2802
|
Update nightly.yml
|
2026-02-18 20:57:32 -08:00 |
|
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 |
|