3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-04-15 08:44:10 +00:00
z3/.github/workflows
dependabot[bot] 0b0e617e08
Bump mymindstorm/setup-emsdk from 15 to 16
Bumps [mymindstorm/setup-emsdk](https://github.com/mymindstorm/setup-emsdk) from 15 to 16.
- [Release notes](https://github.com/mymindstorm/setup-emsdk/releases)
- [Commits](https://github.com/mymindstorm/setup-emsdk/compare/v15...v16)

---
updated-dependencies:
- dependency-name: mymindstorm/setup-emsdk
  dependency-version: '16'
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <support@github.com>
2026-04-13 22:43:05 +00:00
..
shared Upgrade agentic workflows to gh-aw v0.36.0 (#8122) 2026-01-08 11:50:35 -08:00
a3-python.lock.yml recompiled aw 2026-04-11 11:17:51 -07:00
a3-python.md Add noop report-as-issue: false to all agentic workflow frontmatter 2026-03-12 20:01:30 +00:00
academic-citation-tracker.lock.yml recompiled aw 2026-04-11 11:17:51 -07:00
academic-citation-tracker.md Fix agentic workflow compilation errors (gh-aw v0.68 compat) (#9275) 2026-04-11 10:19:45 -07:00
agentics-maintenance.yml recompiled aw 2026-04-11 11:17:51 -07:00
android-build.yml Bump actions/checkout from 5.0.1 to 6.0.2 (#9018) 2026-03-16 15:52:35 -07:00
api-coherence-checker.lock.yml recompiled aw 2026-04-11 11:17:51 -07:00
api-coherence-checker.md Fix agentic workflow compilation errors (gh-aw v0.68 compat) (#9275) 2026-04-11 10:19:45 -07:00
build-warning-fixer.lock.yml recompiled aw 2026-04-11 11:17:51 -07:00
build-warning-fixer.md Fix agentic workflow compilation errors (gh-aw v0.68 compat) (#9275) 2026-04-11 10:19:45 -07:00
build-z3-cache.yml Bump actions/cache from 5.0.3 to 5.0.4 (#9112) 2026-03-23 16:33:01 -07:00
ci.yml Update .github/workflows/ci.yml 2026-03-21 06:16:46 -10:00
code-conventions-analyzer.lock.yml recompiled aw 2026-04-11 11:17:51 -07:00
code-conventions-analyzer.md Fix agentic workflow compilation errors (gh-aw v0.68 compat) (#9275) 2026-04-11 10:19:45 -07:00
code-simplifier.lock.yml recompiled aw 2026-04-11 11:17:51 -07:00
code-simplifier.md Fix agentic workflow compilation errors (gh-aw v0.68 compat) (#9275) 2026-04-11 10:19:45 -07:00
copilot-setup-steps.yml update aw to current version 2026-01-08 18:15:03 +00:00
coverage.yml Bump actions/checkout from 5.0.1 to 6.0.2 (#9018) 2026-03-16 15:52:35 -07:00
cross-build.yml Bump actions/checkout from 5.0.1 to 6.0.2 (#9018) 2026-03-16 15:52:35 -07:00
csa-analysis.lock.yml recompiled aw 2026-04-11 11:17:51 -07:00
csa-analysis.md Fix agentic workflow compilation errors (gh-aw v0.68 compat) (#9275) 2026-04-11 10:19:45 -07:00
docs.yml Bump mymindstorm/setup-emsdk from 15 to 16 2026-04-13 22:43:05 +00:00
issue-backlog-processor.lock.yml recompiled aw 2026-04-11 11:17:51 -07:00
issue-backlog-processor.md Fix Issue Backlog Processor: prevent context exhaustion by batching and requiring safe output (#9272) 2026-04-11 10:21:01 -07:00
mark-prs-ready-for-review.yml Fix mark-prs-ready-for-review workflow: use GH_AW_GITHUB_TOKEN for GraphQL mutation 2026-03-12 18:18:45 +00:00
memory-safety-report.lock.yml recompiled aw 2026-04-11 11:17:51 -07:00
memory-safety-report.md Fix agentic workflow compilation errors (gh-aw v0.68 compat) (#9275) 2026-04-11 10:19:45 -07:00
memory-safety.yml Bump actions/download-artifact from 8.0.0 to 8.0.1 (#9016) 2026-03-16 16:11:55 -07:00
msvc-static-build-clang-cl.yml Bump actions/checkout from 5.0.1 to 6.0.2 (#9018) 2026-03-16 15:52:35 -07:00
msvc-static-build.yml Bump actions/checkout from 5.0.1 to 6.0.2 (#9018) 2026-03-16 15:52:35 -07:00
nightly-validation.yml Add riscv64 wheel builds to nightly and release PyPI publishing (#9153) 2026-03-28 15:26:59 -07:00
nightly.yml Bump nuget/setup-nuget from 2 to 3 (#9175) 2026-03-30 19:16:54 -07:00
nuget-build.yml Bump nuget/setup-nuget from 2 to 3 (#9175) 2026-03-30 19:16:54 -07:00
ocaml.yaml Bump actions/cache from 5.0.3 to 5.0.4 (#9112) 2026-03-23 16:33:01 -07:00
ostrich-benchmark.lock.yml recompiled aw 2026-04-11 11:17:51 -07:00
ostrich-benchmark.md Fix Ostrich Benchmark workflow: allow NuGet and guarantee safe output (#9267) 2026-04-11 11:16:00 -07:00
pyodide.yml Bump actions/checkout from 5.0.1 to 6.0.2 (#9018) 2026-03-16 15:52:35 -07:00
qf-s-benchmark.lock.yml recompiled aw 2026-04-11 11:17:51 -07:00
qf-s-benchmark.md fix(qf-s-benchmark): add safeoutputs keepalive noop after build, reduce cap 500→300 (#9290) 2026-04-12 18:26:55 -07:00
release-notes-updater.lock.yml recompiled aw 2026-04-11 11:17:51 -07:00
release-notes-updater.md Fix agentic workflow compilation errors (gh-aw v0.68 compat) (#9275) 2026-04-11 10:19:45 -07:00
release.yml Bump nuget/setup-nuget from 2 to 3 (#9175) 2026-03-30 19:16:54 -07:00
specbot-crash-analyzer.lock.yml recompiled aw 2026-04-11 11:17:51 -07:00
specbot-crash-analyzer.md Fix agentic workflow compilation errors (gh-aw v0.68 compat) (#9275) 2026-04-11 10:19:45 -07:00
tactic-to-simplifier.lock.yml recompiled aw 2026-04-11 11:17:51 -07:00
tactic-to-simplifier.md Fix agentic workflow compilation errors (gh-aw v0.68 compat) (#9275) 2026-04-11 10:19:45 -07:00
wasm-release.yml Bump mymindstorm/setup-emsdk from 15 to 16 2026-04-13 22:43:05 +00:00
wasm.yml Bump mymindstorm/setup-emsdk from 15 to 16 2026-04-13 22:43:05 +00:00
Windows.yml Bump microsoft/setup-msbuild from 2 to 3 (#9109) 2026-03-23 16:33:25 -07:00
wip.yml Bump actions/checkout from 5.0.1 to 6.0.2 (#9018) 2026-03-16 15:52:35 -07:00
workflow-suggestion-agent.lock.yml recompiled aw 2026-04-11 11:17:51 -07:00
workflow-suggestion-agent.md Fix agentic workflow compilation errors (gh-aw v0.68 compat) (#9275) 2026-04-11 10:19:45 -07:00
zipt-code-reviewer.lock.yml recompiled aw 2026-04-11 11:17:51 -07:00
zipt-code-reviewer.md Fix agentic workflow compilation errors (gh-aw v0.68 compat) (#9275) 2026-04-11 10:19:45 -07:00