3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-08-02 12:13:25 +00:00
z3/.github/workflows
dependabot[bot] 99a2be2a77
Bump pypa/cibuildwheel from 4.1.0 to 4.1.1 (#10312)
Bumps [pypa/cibuildwheel](https://github.com/pypa/cibuildwheel) from
4.1.0 to 4.1.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.1.1</h2>
<ul>
<li> Adds <code>pyodide-build</code> as a separate <a
href="https://cibuildwheel.pypa.io/en/stable/options/#build-frontend"><code>build-frontend</code></a>,
now the default frontend for Pyodide, with verbosity flags handling. Any
other frontend is ignored with a warning on Pyodide. (<a
href="https://redirect.github.com/pypa/cibuildwheel/issues/2609">#2609</a>,
<a
href="https://redirect.github.com/pypa/cibuildwheel/issues/2945">#2945</a>)</li>
<li>🔐 Uses digests instead of tags for pinned container images,
strengthening supply-chain security. The human-readable tags remain as
comments in <code>pinned_docker_images.cfg</code>. (<a
href="https://redirect.github.com/pypa/cibuildwheel/issues/2915">#2915</a>)</li>
<li>🐛 Fixes platform-specific <a
href="https://cibuildwheel.pypa.io/en/stable/options/#test-runtime"><code>test-runtime</code></a>
environment variables (e.g. <code>CIBW_TEST_RUNTIME_ANDROID</code>) not
being honored (<a
href="https://redirect.github.com/pypa/cibuildwheel/issues/2941">#2941</a>)</li>
<li>🐛 Fixes quoting of <a
href="https://cibuildwheel.pypa.io/en/stable/options/#test-requires"><code>test-requires</code></a>
and <a
href="https://cibuildwheel.pypa.io/en/stable/options/#audit-requires"><code>audit-requires</code></a>
so PEP 508 specifiers containing spaces work (<a
href="https://redirect.github.com/pypa/cibuildwheel/issues/2913">#2913</a>)</li>
<li>🐛 Makes <a
href="https://cibuildwheel.pypa.io/en/stable/options/#archs"><code>archs</code></a>
parsing case-insensitive and platform-aware, so e.g. <code>arm64</code>
works on Windows (<a
href="https://redirect.github.com/pypa/cibuildwheel/issues/2920">#2920</a>)</li>
<li>🐛 Uses an absolute path for the <code>{project}</code> placeholder
in <a
href="https://cibuildwheel.pypa.io/en/stable/options/#config-settings"><code>config-settings</code></a>
(<a
href="https://redirect.github.com/pypa/cibuildwheel/issues/2934">#2934</a>)</li>
<li>🐛 Validates the <a
href="https://cibuildwheel.pypa.io/en/stable/options/#pyodide-version"><code>pyodide-version</code></a>
option against the build identifier with a clear error (<a
href="https://redirect.github.com/pypa/cibuildwheel/issues/2925">#2925</a>)</li>
<li>🐛 Fixes PyPy installs on macOS after PyPy switched its downloads
from <code>.tar.bz2</code> to <code>.tar.gz</code> (<a
href="https://redirect.github.com/pypa/cibuildwheel/issues/2939">#2939</a>)</li>
<li>🐛 Makes a matching <code>python3-config</code> available in the
build and test venvs on macOS (<a
href="https://redirect.github.com/pypa/cibuildwheel/issues/2922">#2922</a>)</li>
<li>🛠 Updates dependencies and container pins (<a
href="https://redirect.github.com/pypa/cibuildwheel/issues/2917">#2917</a>,
<a
href="https://redirect.github.com/pypa/cibuildwheel/issues/2935">#2935</a>,
<a
href="https://redirect.github.com/pypa/cibuildwheel/issues/2939">#2939</a>)</li>
<li>🛠 Updates Android tests to current Python versions and the new test
repository URL (<a
href="https://redirect.github.com/pypa/cibuildwheel/issues/2933">#2933</a>)</li>
<li>🛠 Drops the <code>orjson</code> dependency, no longer used by mypy
2+ (<a
href="https://redirect.github.com/pypa/cibuildwheel/issues/2923">#2923</a>)</li>
<li>📚 Builds the docs with properdocs, a MkDocs fork (<a
href="https://redirect.github.com/pypa/cibuildwheel/issues/2946">#2946</a>)</li>
<li>📚 Adds the missing <code>cp314-pyodide_wasm32</code> entry to the
build identifier table (<a
href="https://redirect.github.com/pypa/cibuildwheel/issues/2947">#2947</a>)</li>
<li>📚 Removes outdated notes about the <code>pip wheel</code> build
frontend and ClearLinux (<a
href="https://redirect.github.com/pypa/cibuildwheel/issues/2926">#2926</a>)</li>
<li>💼 Adds a &quot;CI: PyPy EoL&quot; PR label to run PyPy EoL tests on
PRs (<a
href="https://redirect.github.com/pypa/cibuildwheel/issues/2930">#2930</a>)</li>
<li>💼 Updates CI action pins and pre-commit hooks (<a
href="https://redirect.github.com/pypa/cibuildwheel/issues/2914">#2914</a>,
<a
href="https://redirect.github.com/pypa/cibuildwheel/issues/2932">#2932</a>,
<a
href="https://redirect.github.com/pypa/cibuildwheel/issues/2938">#2938</a>,
<a
href="https://redirect.github.com/pypa/cibuildwheel/issues/2940">#2940</a>,
<a
href="https://redirect.github.com/pypa/cibuildwheel/issues/2942">#2942</a>,
<a
href="https://redirect.github.com/pypa/cibuildwheel/issues/2943">#2943</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.1.1</h3>
<p><em>24 July 2026</em></p>
<ul>
<li> Adds <code>pyodide-build</code> as a separate <a
href="https://cibuildwheel.pypa.io/en/stable/options/#build-frontend"><code>build-frontend</code></a>,
now the default frontend for Pyodide, with verbosity flags handling. Any
other frontend is ignored with a warning on Pyodide. (<a
href="https://redirect.github.com/pypa/cibuildwheel/issues/2609">#2609</a>,
<a
href="https://redirect.github.com/pypa/cibuildwheel/issues/2945">#2945</a>)</li>
<li>🔐 Uses digests instead of tags for pinned container images,
strengthening supply-chain security. The human-readable tags remain as
comments in <code>pinned_docker_images.cfg</code>. (<a
href="https://redirect.github.com/pypa/cibuildwheel/issues/2915">#2915</a>)</li>
<li>🐛 Fixes platform-specific <a
href="https://cibuildwheel.pypa.io/en/stable/options/#test-runtime"><code>test-runtime</code></a>
environment variables (e.g. <code>CIBW_TEST_RUNTIME_ANDROID</code>) not
being honored (<a
href="https://redirect.github.com/pypa/cibuildwheel/issues/2941">#2941</a>)</li>
<li>🐛 Fixes quoting of <a
href="https://cibuildwheel.pypa.io/en/stable/options/#test-requires"><code>test-requires</code></a>
and <a
href="https://cibuildwheel.pypa.io/en/stable/options/#audit-requires"><code>audit-requires</code></a>
so PEP 508 specifiers containing spaces work (<a
href="https://redirect.github.com/pypa/cibuildwheel/issues/2913">#2913</a>)</li>
<li>🐛 Makes <a
href="https://cibuildwheel.pypa.io/en/stable/options/#archs"><code>archs</code></a>
parsing case-insensitive and platform-aware, so e.g. <code>arm64</code>
works on Windows (<a
href="https://redirect.github.com/pypa/cibuildwheel/issues/2920">#2920</a>)</li>
<li>🐛 Uses an absolute path for the <code>{project}</code> placeholder
in <a
href="https://cibuildwheel.pypa.io/en/stable/options/#config-settings"><code>config-settings</code></a>
(<a
href="https://redirect.github.com/pypa/cibuildwheel/issues/2934">#2934</a>)</li>
<li>🐛 Validates the <a
href="https://cibuildwheel.pypa.io/en/stable/options/#pyodide-version"><code>pyodide-version</code></a>
option against the build identifier with a clear error (<a
href="https://redirect.github.com/pypa/cibuildwheel/issues/2925">#2925</a>)</li>
<li>🐛 Fixes PyPy installs on macOS after PyPy switched its downloads
from <code>.tar.bz2</code> to <code>.tar.gz</code> (<a
href="https://redirect.github.com/pypa/cibuildwheel/issues/2939">#2939</a>)</li>
<li>🐛 Makes a matching <code>python3-config</code> available in the
build and test venvs on macOS (<a
href="https://redirect.github.com/pypa/cibuildwheel/issues/2922">#2922</a>)</li>
<li>🛠 Updates dependencies and container pins (<a
href="https://redirect.github.com/pypa/cibuildwheel/issues/2917">#2917</a>,
<a
href="https://redirect.github.com/pypa/cibuildwheel/issues/2935">#2935</a>,
<a
href="https://redirect.github.com/pypa/cibuildwheel/issues/2939">#2939</a>)</li>
<li>🛠 Updates Android tests to current Python versions and the new test
repository URL (<a
href="https://redirect.github.com/pypa/cibuildwheel/issues/2933">#2933</a>)</li>
<li>🛠 Drops the <code>orjson</code> dependency, no longer used by mypy
2+ (<a
href="https://redirect.github.com/pypa/cibuildwheel/issues/2923">#2923</a>)</li>
<li>📚 Builds the docs with properdocs, a MkDocs fork (<a
href="https://redirect.github.com/pypa/cibuildwheel/issues/2946">#2946</a>)</li>
<li>📚 Adds the missing <code>cp314-pyodide_wasm32</code> entry to the
build identifier table (<a
href="https://redirect.github.com/pypa/cibuildwheel/issues/2947">#2947</a>)</li>
<li>📚 Removes outdated notes about the <code>pip wheel</code> build
frontend and ClearLinux (<a
href="https://redirect.github.com/pypa/cibuildwheel/issues/2926">#2926</a>)</li>
<li>💼 Adds a &quot;CI: PyPy EoL&quot; PR label to run PyPy EoL tests on
PRs (<a
href="https://redirect.github.com/pypa/cibuildwheel/issues/2930">#2930</a>)</li>
<li>💼 Updates CI action pins and pre-commit hooks (<a
href="https://redirect.github.com/pypa/cibuildwheel/issues/2914">#2914</a>,
<a
href="https://redirect.github.com/pypa/cibuildwheel/issues/2932">#2932</a>,
<a
href="https://redirect.github.com/pypa/cibuildwheel/issues/2938">#2938</a>,
<a
href="https://redirect.github.com/pypa/cibuildwheel/issues/2940">#2940</a>,
<a
href="https://redirect.github.com/pypa/cibuildwheel/issues/2942">#2942</a>,
<a
href="https://redirect.github.com/pypa/cibuildwheel/issues/2943">#2943</a>)</li>
</ul>
</blockquote>
</details>
<details>
<summary>Commits</summary>
<ul>
<li><a
href="4726cd35bb"><code>4726cd3</code></a>
Bump version: v4.1.1</li>
<li><a
href="1af5cd76db"><code>1af5cd7</code></a>
docs: switch from mkdocs to properdocs (<a
href="https://redirect.github.com/pypa/cibuildwheel/issues/2946">#2946</a>)</li>
<li><a
href="b21d76ae03"><code>b21d76a</code></a>
docs: add missing cp314-pyodide_wasm32 to build-id table (<a
href="https://redirect.github.com/pypa/cibuildwheel/issues/2947">#2947</a>)</li>
<li><a
href="03cbe932e6"><code>03cbe93</code></a>
fix(macos): make matching python3-config available in build/test venvs
(<a
href="https://redirect.github.com/pypa/cibuildwheel/issues/2922">#2922</a>)</li>
<li><a
href="b7cac6dfef"><code>b7cac6d</code></a>
fix: don't error when a global build-frontend is set on pyodide (<a
href="https://redirect.github.com/pypa/cibuildwheel/issues/2945">#2945</a>)</li>
<li><a
href="1520daf8ae"><code>1520daf</code></a>
fix: support platform-specific test runtime environment variables (<a
href="https://redirect.github.com/pypa/cibuildwheel/issues/2941">#2941</a>)</li>
<li><a
href="17b74206ab"><code>17b7420</code></a>
[Bot] Update dependencies (<a
href="https://redirect.github.com/pypa/cibuildwheel/issues/2939">#2939</a>)</li>
<li><a
href="f8d8cca5bb"><code>f8d8cca</code></a>
chore(deps): bump astral-sh/setup-uv from 8.2.0 to 8.3.2 in the actions
group...</li>
<li><a
href="265b435c86"><code>265b435</code></a>
chore(deps): bump the actions group with 2 updates (<a
href="https://redirect.github.com/pypa/cibuildwheel/issues/2942">#2942</a>)</li>
<li><a
href="3f8bd1c9ba"><code>3f8bd1c</code></a>
chore(deps): bump the actions group with 3 updates (<a
href="https://redirect.github.com/pypa/cibuildwheel/issues/2938">#2938</a>)</li>
<li>Additional commits viewable in <a
href="https://github.com/pypa/cibuildwheel/compare/v4.1.0...v4.1.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.1.0&new-version=4.1.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-07-30 15:14:08 -07:00
..
shared Upgrade agentic workflows to gh-aw v0.36.0 (#8122) 2026-01-08 11:50:35 -08:00
a3-python.lock.yml recompile workflows 2026-07-28 01:05:54 -07:00
a3-python.md Suppress auto-created failure issues for agentic workflows (#9834) 2026-06-11 20:57:43 -07:00
academic-citation-tracker.lock.yml Fix agentic workflow auth by using Actions token-based Copilot inference 2026-07-28 02:22:11 -07:00
academic-citation-tracker.md Fix agentic workflow auth by using Actions token-based Copilot inference 2026-07-28 02:22:11 -07:00
agentics-maintenance.yml recompile workflows 2026-07-28 01:05:54 -07:00
android-build.yml Bump actions/checkout from 7.0.0 to 7.0.1 (#10208) 2026-07-23 19:17:49 -07:00
api-coherence-checker.lock.yml Fix agentic workflow auth by using Actions token-based Copilot inference 2026-07-28 02:22:11 -07:00
api-coherence-checker.md Fix agentic workflow auth by using Actions token-based Copilot inference 2026-07-28 02:22:11 -07:00
build-warning-fixer.lock.yml recompile workflows 2026-07-28 01:05:54 -07:00
build-warning-fixer.md Suppress auto-created failure issues for agentic workflows (#9834) 2026-06-11 20:57:43 -07:00
build-z3-cache.yml Bump actions/checkout from 7.0.0 to 7.0.1 (#10208) 2026-07-23 19:17:49 -07:00
ci.yml Remove z3_tptp5 example build steps from GitHub Actions 2026-07-29 15:53:08 -07:00
code-conventions-analyzer.lock.yml recompile workflows 2026-07-28 01:05:54 -07:00
code-conventions-analyzer.md Suppress auto-created failure issues for agentic workflows (#9834) 2026-06-11 20:57:43 -07:00
code-simplifier.lock.yml recompile workflows 2026-07-28 01:05:54 -07:00
code-simplifier.md Fix Code Simplifier agent authentication in GitHub Actions (#10222) 2026-07-24 19:29:54 -07:00
compare-stats-anomaly-reporter.lock.yml recompile workflows 2026-07-28 01:05:54 -07:00
compare-stats-anomaly-reporter.md Suppress auto-created failure issues for agentic workflows (#9834) 2026-06-11 20:57:43 -07:00
copilot-setup-steps.yml update aw to current version 2026-01-08 18:15:03 +00:00
coverage.yml Remove z3_tptp5 example build steps from GitHub Actions 2026-07-29 15:53:08 -07:00
cross-build.yml Bump actions/checkout from 7.0.0 to 7.0.1 (#10208) 2026-07-23 19:17:49 -07:00
csa-analysis.lock.yml recompile workflows 2026-07-28 01:05:54 -07:00
csa-analysis.md Suppress auto-created failure issues for agentic workflows (#9834) 2026-06-11 20:57:43 -07:00
docs.yml Bump actions/checkout from 7.0.0 to 7.0.1 (#10208) 2026-07-23 19:17:49 -07:00
fstar-master-build.yml CI: run FStar test suite in fstar-master-build workflow 2026-07-28 13:47:13 -07:00
issue-backlog-processor.lock.yml Fix agentic workflow auth by using Actions token-based Copilot inference 2026-07-28 02:22:11 -07:00
issue-backlog-processor.md Fix agentic workflow auth by using Actions token-based Copilot inference 2026-07-28 02:22:11 -07:00
mark-prs-ready-for-review.yml Bump actions/github-script from 8.0.0 to 9.0.0 (#9296) 2026-04-19 16:49:03 +02:00
memory-safety-report.lock.yml Fix agentic workflow auth by using Actions token-based Copilot inference 2026-07-28 02:22:11 -07:00
memory-safety-report.md Fix agentic workflow auth by using Actions token-based Copilot inference 2026-07-28 02:22:11 -07:00
memory-safety.yml Bump actions/checkout from 7.0.0 to 7.0.1 (#10208) 2026-07-23 19:17:49 -07:00
msvc-static-build-clang-cl.yml Bump actions/checkout from 7.0.0 to 7.0.1 (#10208) 2026-07-23 19:17:49 -07:00
msvc-static-build.yml Bump actions/checkout from 7.0.0 to 7.0.1 (#10208) 2026-07-23 19:17:49 -07:00
nightly-validation.yml Fix nightly-validation macOS wheel install by rewriting 13_3 platform tag to 13_0 2026-07-28 01:25:42 -07:00
nightly.yml Bump actions/checkout from 7.0.0 to 7.0.1 (#10208) 2026-07-23 19:17:49 -07:00
ocaml.yaml Bump actions/checkout from 7.0.0 to 7.0.1 (#10208) 2026-07-23 19:17:49 -07:00
ostrich-benchmark.lock.yml recompile workflows 2026-07-28 01:05:54 -07:00
ostrich-benchmark.md Suppress auto-created failure issues for agentic workflows (#9834) 2026-06-11 20:57:43 -07:00
pyodide-pypi.yml Bump pypa/cibuildwheel from 4.1.0 to 4.1.1 (#10312) 2026-07-30 15:14:08 -07:00
release-notes-updater.lock.yml recompile workflows 2026-07-28 01:05:54 -07:00
release-notes-updater.md Fix release-notes-updater: add copilot-requests: write permission (#10116) 2026-07-13 17:13:31 -07:00
release.yml Bump actions/checkout from 7.0.0 to 7.0.1 (#10208) 2026-07-23 19:17:49 -07:00
smtlib-benchmark-finder.lock.yml Fix agentic workflow auth by using Actions token-based Copilot inference 2026-07-28 02:22:11 -07:00
smtlib-benchmark-finder.md Fix agentic workflow auth by using Actions token-based Copilot inference 2026-07-28 02:22:11 -07:00
specbot-crash-analyzer.lock.yml Fix agentic workflow auth by using Actions token-based Copilot inference 2026-07-28 02:22:11 -07:00
specbot-crash-analyzer.md Fix agentic workflow auth by using Actions token-based Copilot inference 2026-07-28 02:22:11 -07:00
tactic-to-simplifier.lock.yml recompile workflows 2026-07-28 01:05:54 -07:00
tactic-to-simplifier.md Suppress auto-created failure issues for agentic workflows (#9834) 2026-06-11 20:57:43 -07:00
tptp-benchmark.lock.yml Fix agentic workflow auth by using Actions token-based Copilot inference 2026-07-28 02:22:11 -07:00
tptp-benchmark.md Fix agentic workflow auth by using Actions token-based Copilot inference 2026-07-28 02:22:11 -07:00
wasm-release.yml Bump actions/checkout from 7.0.0 to 7.0.1 (#10208) 2026-07-23 19:17:49 -07:00
wasm.yml Bump actions/checkout from 7.0.0 to 7.0.1 (#10208) 2026-07-23 19:17:49 -07:00
Windows.yml ci: add MinGW build/test job to Windows.yml (#10211) 2026-07-24 13:11:08 -07:00
wip.yml Bump actions/checkout from 7.0.0 to 7.0.1 (#10208) 2026-07-23 19:17:49 -07:00
workflow-suggestion-agent.lock.yml Fix agentic workflow auth by using Actions token-based Copilot inference 2026-07-28 02:22:11 -07:00
workflow-suggestion-agent.md Fix agentic workflow auth by using Actions token-based Copilot inference 2026-07-28 02:22:11 -07:00
zipt-code-reviewer.lock.yml recompile workflows 2026-07-28 01:05:54 -07:00
zipt-code-reviewer.md recompile workflows 2026-07-28 01:05:54 -07:00