mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-09-16 01:24:24 +00:00
Code Activity
z3/.github
History
Exact
dependabot[bot] f85ec6c198
Bump pypa/cibuildwheel from 4.2.0 to 4.2.1 (#10779) 
Bumps [pypa/cibuildwheel](https://github.com/pypa/cibuildwheel) from
4.2.0 to 4.2.1.
<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.1</h2>
<ul>
<li>🐛 Respects the NuGet package sources configured on the machine when
installing CPython on Windows, instead of always falling back to
nuget.org (<a
href="https://redirect.github.com/pypa/cibuildwheel/issues/2966">#2966</a>)</li>
<li>🐛 Fixes a <code>NameError</code> on Pyodide when an
already-compatible wheel was reused, which made the test step fail (<a
href="https://redirect.github.com/pypa/cibuildwheel/issues/2968">#2968</a>)</li>
<li>🛠 Updates the Android Python versions, and the Android testbed's
Gradle version, making it compatible with Java 25 (<a
href="https://redirect.github.com/pypa/cibuildwheel/issues/2962">#2962</a>)</li>
<li>🛠 Updates dependencies including CPython 3.15.0rc2 (<a
href="https://redirect.github.com/pypa/cibuildwheel/issues/2965">#2965</a>,
<a
href="https://redirect.github.com/pypa/cibuildwheel/issues/2970">#2970</a>,
<a
href="https://redirect.github.com/pypa/cibuildwheel/issues/2976">#2976</a>,
<a
href="https://redirect.github.com/pypa/cibuildwheel/issues/2981">#2981</a>,
<a
href="https://redirect.github.com/pypa/cibuildwheel/issues/2985">#2985</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.1</h3>
<p><em>5 September 2026</em></p>
<ul>
<li>🐛 Respects the NuGet package sources configured on the machine when
installing CPython on Windows, instead of always falling back to
nuget.org (<a
href="https://redirect.github.com/pypa/cibuildwheel/issues/2966">#2966</a>)</li>
<li>🐛 Fixes a <code>NameError</code> on Pyodide when an
already-compatible wheel was reused, which made the test step fail (<a
href="https://redirect.github.com/pypa/cibuildwheel/issues/2968">#2968</a>)</li>
<li>🛠 Updates the Android Python versions, and the Android testbed's
Gradle version, making it compatible with Java 25 (<a
href="https://redirect.github.com/pypa/cibuildwheel/issues/2962">#2962</a>)</li>
<li>🛠 Updates dependencies including CPython 3.15.0rc2 (<a
href="https://redirect.github.com/pypa/cibuildwheel/issues/2965">#2965</a>,
<a
href="https://redirect.github.com/pypa/cibuildwheel/issues/2970">#2970</a>,
<a
href="https://redirect.github.com/pypa/cibuildwheel/issues/2976">#2976</a>,
<a
href="https://redirect.github.com/pypa/cibuildwheel/issues/2981">#2981</a>,
<a
href="https://redirect.github.com/pypa/cibuildwheel/issues/2985">#2985</a>)</li>
</ul>
</blockquote>
</details>
<details>
<summary>Commits</summary>
<ul>
<li><a
href="e090b81e30"><code>e090b81</code></a>
Bump version: v4.2.1</li>
<li><a
href="59501f4368"><code>59501f4</code></a>
Respect configured NuGet package sources (<a
href="https://redirect.github.com/pypa/cibuildwheel/issues/2966">#2966</a>)</li>
<li><a
href="885ead0d98"><code>885ead0</code></a>
[Bot] Update dependencies (<a
href="https://redirect.github.com/pypa/cibuildwheel/issues/2985">#2985</a>)</li>
<li><a
href="3d9e8c5c98"><code>3d9e8c5</code></a>
docs: refresh CircleCI and CPython platform links (<a
href="https://redirect.github.com/pypa/cibuildwheel/issues/2977">#2977</a>)</li>
<li><a
href="7d5ec95797"><code>7d5ec95</code></a>
[Bot] Update dependencies (<a
href="https://redirect.github.com/pypa/cibuildwheel/issues/2981">#2981</a>)</li>
<li><a
href="a007eeda0d"><code>a007eed</code></a>
[Bot] Update dependencies (<a
href="https://redirect.github.com/pypa/cibuildwheel/issues/2976">#2976</a>)</li>
<li><a
href="fdda545750"><code>fdda545</code></a>
chore(deps): bump astral-sh/setup-uv from 9.0.0 to 10.0.1 in the actions
grou...</li>
<li><a
href="8832cf6b75"><code>8832cf6</code></a>
chore(deps): bump actions/attest-build-provenance from 4.1.1 to 4.2.2 in
the ...</li>
<li><a
href="a35209b5ca"><code>a35209b</code></a>
[Bot] Update dependencies (<a
href="https://redirect.github.com/pypa/cibuildwheel/issues/2970">#2970</a>)</li>
<li><a
href="148ea702ac"><code>148ea70</code></a>
chore: faster and stricter mypy (<a
href="https://redirect.github.com/pypa/cibuildwheel/issues/2968">#2968</a>)</li>
<li>Additional commits viewable in <a
href="https://github.com/pypa/cibuildwheel/compare/v4.2.0...v4.2.1">compare
view</a></li>
</ul>
</details>
<br />


[![Dependabot compatibility
score](https://dependabot-badges.githubapp.com/badges/compatibility_score?dependency-name=pypa/cibuildwheel&package-manager=github_actions&previous-version=4.2.0&new-version=4.2.1)](https://docs.github.com/en/github/managing-security-vulnerabilities/about-dependabot-security-updates#about-compatibility-scores)

Dependabot will resolve any conflicts with this PR as long as you don't
alter it yourself. You can also trigger a rebase manually by commenting
`@dependabot rebase`.

[//]: # (dependabot-automerge-start)
[//]: # (dependabot-automerge-end)

---

<details>
<summary>Dependabot commands and options</summary>
<br />

You can trigger Dependabot actions by commenting on this PR:
- `@dependabot rebase` will rebase this PR
- `@dependabot recreate` will recreate this PR, overwriting any edits
that have been made to it
- `@dependabot show <dependency name> ignore conditions` will show all
of the ignore conditions of the specified dependency
- `@dependabot ignore this major version` will close this PR and stop
Dependabot creating any more for this major version (unless you reopen
the PR or upgrade to it yourself)
- `@dependabot ignore this minor version` will close this PR and stop
Dependabot creating any more for this minor version (unless you reopen
the PR or upgrade to it yourself)
- `@dependabot ignore this dependency` will close this PR and stop
Dependabot creating any more for this dependency (unless you reopen the
PR or upgrade to it yourself)


</details>

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2026-09-10 18:19:45 -07:00
..
actions [CMake] Refresh build documentation and invocation style (#10753) 2026-09-07 18:18:43 -07:00
agents [CMake] Refresh build documentation and invocation style (#10753) 2026-09-07 18:18:43 -07:00
aw recompile 2026-09-03 13:33:28 -07:00
prompts gitignore 2025-03-12 17:18:37 -07:00
scripts fix memory-safety-report to download artifacts via MCP tools (#8979) 2026-03-15 10:12:49 -07:00
skills [CMake] Refresh build documentation and invocation style (#10753) 2026-09-07 18:18:43 -07:00
workflows Bump pypa/cibuildwheel from 4.2.0 to 4.2.1 (#10779) 2026-09-10 18:19:45 -07:00
CI_MIGRATION.md Fix workflow compilation errors and relocate documentation files (#8295) 2026-01-22 21:05:05 -08:00
CI_TESTING.md Fix workflow compilation errors and relocate documentation files (#8295) 2026-01-22 21:05:05 -08:00
copilot-instructions.md [CMake] Refresh build documentation and invocation style (#10753) 2026-09-07 18:18:43 -07:00
dependabot.yml Fix Academic Citation Tracker agent job: recompile lock file with gh-aw v0.79.8 (#9910) 2026-06-20 12:13:01 -06:00
mcp.json update aw 2026-06-24 14:08:45 -07:00