mirror of
https://github.com/Z3Prover/z3
synced 2026-01-20 01:03:20 +00:00
3def57e39f
* Initial plan * Create GitHub Actions release.yml workflow - Migrated Azure DevOps release pipeline to GitHub Actions - Aligned structure and conventions with nightly.yml - Added manual workflow dispatch with version input - Included conditional publishing to GitHub, NuGet, and PyPI - Updated to use manylinux_2_28 container (consistent with nightly) - Added --zip flag to all Windows builds - Set 7-day retention for release artifacts 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> |
||
|---|---|---|
| .. | ||
| shared | ||
| agentics-maintenance.yml | ||
| android-build.yml | ||
| api-coherence-checker.lock.yml | ||
| api-coherence-checker.md | ||
| build-warning-fixer.lock.yml | ||
| build-warning-fixer.md | ||
| code-conventions-analyzer.lock.yml | ||
| code-conventions-analyzer.md | ||
| copilot-setup-steps.yml | ||
| coverage.yml | ||
| cross-build.yml | ||
| docs.yml | ||
| msvc-static-build-clang-cl.yml | ||
| msvc-static-build.yml | ||
| nightly.yml | ||
| nuget-build.yml | ||
| NUGET_BUILD_README.md | ||
| ocaml.yaml | ||
| pyodide.yml | ||
| release.yml | ||
| wasm-release.yml | ||
| wasm.yml | ||
| Windows.yml | ||
| wip.yml | ||