Copilot
|
7d899fdc43
|
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-01-15 21:08:55 -08:00 |
|