mirror of
https://github.com/Z3Prover/z3
synced 2026-08-15 02:06:34 +00:00
6c33dfe301
Bumps [pypa/cibuildwheel](https://github.com/pypa/cibuildwheel) from 4.1.1 to 4.2.0. <details> <summary>Release notes</summary> <p><em>Sourced from <a href="https://github.com/pypa/cibuildwheel/releases">pypa/cibuildwheel's releases</a>.</em></p> <blockquote> <h2>v4.2.0</h2> <ul> <li>🌟 CPython 3.15 wheels are now built by default - without the <code>"cpython-prerelease"</code> <a href="https://cibuildwheel.pypa.io/en/stable/options/#enable"><code>enable</code></a> set. It's time to build and upload these wheels to PyPI! This release includes CPython 3.15.0rc1, which is guaranteed to be ABI compatible with the final release. (<a href="https://redirect.github.com/pypa/cibuildwheel/issues/2944">#2944</a>)</li> <li>✨ Adds Pyodide 3.15 support with the <code>cp315-pyodide_wasm32</code> build identifier, using Pyodide 315.0.0a2. These are also stable wrt. the final release. (<a href="https://redirect.github.com/pypa/cibuildwheel/issues/2958">#2958</a>)</li> <li>🐛 Retries a failed download six times with exponential backoff, so short network outages no longer stop a build. A <code>4xx</code> response is still reported at once. (<a href="https://redirect.github.com/pypa/cibuildwheel/issues/2953">#2953</a>)</li> <li>🐛 Accepts <code>default</code> as a <a href="https://cibuildwheel.pypa.io/en/stable/options/#build-frontend"><code>build-frontend</code></a> value on Pyodide, and accepts <code>pyodide-build</code> in the top-level table and in overrides (<a href="https://redirect.github.com/pypa/cibuildwheel/issues/2951">#2951</a>)</li> <li>🛠 Holds pip back on GraalPy, where newer pip breaks the build (<a href="https://redirect.github.com/pypa/cibuildwheel/issues/2955">#2955</a>)</li> <li>🛠 Updates Pyodide to 314.0.4 (<a href="https://redirect.github.com/pypa/cibuildwheel/issues/2949">#2949</a>, <a href="https://redirect.github.com/pypa/cibuildwheel/issues/2952">#2952</a>)</li> <li>🛠 Updates dependencies and container pins (<a href="https://redirect.github.com/pypa/cibuildwheel/issues/2952">#2952</a>, <a href="https://redirect.github.com/pypa/cibuildwheel/issues/2960">#2960</a>)</li> <li>💼 Updates CI action pins (<a href="https://redirect.github.com/pypa/cibuildwheel/issues/2948">#2948</a>, <a href="https://redirect.github.com/pypa/cibuildwheel/issues/2954">#2954</a>)</li> <li>🧪 Uses pp311 for the abi3 test, and deletes <code>test_overridden_pip_constraint</code>, which is not necessary since <a href="https://redirect.github.com/pypa/cibuildwheel/issues/2583">#2583</a> (<a href="https://redirect.github.com/pypa/cibuildwheel/issues/2956">#2956</a>, <a href="https://redirect.github.com/pypa/cibuildwheel/issues/2957">#2957</a>)</li> </ul> </blockquote> </details> <details> <summary>Changelog</summary> <p><em>Sourced from <a href="https://github.com/pypa/cibuildwheel/blob/main/docs/changelog.md">pypa/cibuildwheel's changelog</a>.</em></p> <blockquote> <h3>v4.2.0</h3> <p><em>4 August 2026</em></p> <ul> <li>🌟 CPython 3.15 wheels are now built by default - without the <code>"cpython-prerelease"</code> <a href="https://cibuildwheel.pypa.io/en/stable/options/#enable"><code>enable</code></a> set. It's time to build and upload these wheels to PyPI! This release includes CPython 3.15.0rc1, which is guaranteed to be ABI compatible with the final release. (<a href="https://redirect.github.com/pypa/cibuildwheel/issues/2944">#2944</a>)</li> <li>✨ Adds Pyodide 3.15 support with the <code>cp315-pyodide_wasm32</code> build identifier, using Pyodide 315.0.0a2. These are also stable wrt. the final release. (<a href="https://redirect.github.com/pypa/cibuildwheel/issues/2958">#2958</a>)</li> <li>🐛 Retries a failed download six times with exponential backoff, so short network outages no longer stop a build. A <code>4xx</code> response is still reported at once. (<a href="https://redirect.github.com/pypa/cibuildwheel/issues/2953">#2953</a>)</li> <li>🐛 Accepts <code>default</code> as a <a href="https://cibuildwheel.pypa.io/en/stable/options/#build-frontend"><code>build-frontend</code></a> value on Pyodide, and accepts <code>pyodide-build</code> in the top-level table and in overrides (<a href="https://redirect.github.com/pypa/cibuildwheel/issues/2951">#2951</a>)</li> <li>🛠 Holds pip back on GraalPy, where newer pip breaks the build (<a href="https://redirect.github.com/pypa/cibuildwheel/issues/2955">#2955</a>)</li> <li>🛠 Updates Pyodide to 314.0.4 (<a href="https://redirect.github.com/pypa/cibuildwheel/issues/2949">#2949</a>, <a href="https://redirect.github.com/pypa/cibuildwheel/issues/2952">#2952</a>)</li> <li>🛠 Updates dependencies and container pins (<a href="https://redirect.github.com/pypa/cibuildwheel/issues/2952">#2952</a>, <a href="https://redirect.github.com/pypa/cibuildwheel/issues/2960">#2960</a>)</li> <li>💼 Updates CI action pins (<a href="https://redirect.github.com/pypa/cibuildwheel/issues/2948">#2948</a>, <a href="https://redirect.github.com/pypa/cibuildwheel/issues/2954">#2954</a>)</li> <li>🧪 Uses pp311 for the abi3 test, and deletes <code>test_overridden_pip_constraint</code>, which is not necessary since <a href="https://redirect.github.com/pypa/cibuildwheel/issues/2583">#2583</a> (<a href="https://redirect.github.com/pypa/cibuildwheel/issues/2956">#2956</a>, <a href="https://redirect.github.com/pypa/cibuildwheel/issues/2957">#2957</a>)</li> </ul> </blockquote> </details> <details> <summary>Commits</summary> <ul> <li><a href=" |
||
|---|---|---|
| .. | ||
| shared | ||
| a3-python.lock.yml | ||
| a3-python.md | ||
| academic-citation-tracker.lock.yml | ||
| academic-citation-tracker.md | ||
| agentics-maintenance.yml | ||
| android-build.yml | ||
| api-coherence-checker.lock.yml | ||
| api-coherence-checker.md | ||
| build-warning-fixer.lock.yml | ||
| build-warning-fixer.md | ||
| build-z3-cache.yml | ||
| ci.yml | ||
| clang-tidy-warning-report.yml | ||
| code-conventions-analyzer.lock.yml | ||
| code-conventions-analyzer.md | ||
| code-simplifier.lock.yml | ||
| code-simplifier.md | ||
| compare-stats-anomaly-reporter.lock.yml | ||
| compare-stats-anomaly-reporter.md | ||
| copilot-setup-steps.yml | ||
| coverage.yml | ||
| cross-build.yml | ||
| csa-analysis.lock.yml | ||
| csa-analysis.md | ||
| docs.yml | ||
| fstar-master-build.yml | ||
| issue-backlog-processor.lock.yml | ||
| issue-backlog-processor.md | ||
| mark-prs-ready-for-review.yml | ||
| memory-safety-report.lock.yml | ||
| memory-safety-report.md | ||
| memory-safety.yml | ||
| msvc-static-build-clang-cl.yml | ||
| msvc-static-build.yml | ||
| nightly-validation.yml | ||
| nightly.yml | ||
| ocaml.yaml | ||
| pyodide-pypi.yml | ||
| release-notes-updater.lock.yml | ||
| release-notes-updater.md | ||
| release.yml | ||
| smtlib-benchmark-finder.lock.yml | ||
| smtlib-benchmark-finder.md | ||
| tactic-to-simplifier.lock.yml | ||
| tactic-to-simplifier.md | ||
| wasm-release.yml | ||
| wasm.yml | ||
| Windows.yml | ||
| wip.yml | ||
| workflow-suggestion-agent.lock.yml | ||
| workflow-suggestion-agent.md | ||