mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-03-14 17:19:59 +00:00
Code Activity
z3/.github/workflows
History
dependabot[bot] d21231fc22
Bump actions/checkout from 4 to 6 
Bumps [actions/checkout](https://github.com/actions/checkout) from 4 to 6.
- [Release notes](https://github.com/actions/checkout/releases)
- [Commits](https://github.com/actions/checkout/compare/v4...v6)

---
updated-dependencies:
- dependency-name: actions/checkout
  dependency-version: '6'
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <support@github.com>
2026-03-09 22:44:52 +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 Merge pull request #8835 from Z3Prover/dependabot/github_actions/actions/download-artifact-8.0.0 2026-03-02 15:48:03 -08:00
a3-python.md recompile workflows 2026-02-17 15:45:34 -08:00
agentics-maintenance.yml Bump github/gh-aw from 0.45.6 to 0.51.6 2026-03-02 23:44:00 +00:00
android-build.yml Bump actions/checkout from 4 to 6 2026-03-09 22:44:52 +00:00
api-coherence-checker.lock.yml Merge pull request #8835 from Z3Prover/dependabot/github_actions/actions/download-artifact-8.0.0 2026-03-02 15:48:03 -08:00
api-coherence-checker.md Update api-coherence-checker to search for Rust traits and trait implementations 2026-02-25 00:10:31 +00:00
build-warning-fixer.lock.yml Merge pull request #8835 from Z3Prover/dependabot/github_actions/actions/download-artifact-8.0.0 2026-03-02 15:48:03 -08:00
build-warning-fixer.md upgrade workflows 2026-02-13 08:57:00 -08:00
build-z3-cache.yml Bump actions/checkout from 4 to 6 2026-03-09 22:44:52 +00:00
ci.yml Bump actions/checkout from 4 to 6 2026-03-09 22:44:52 +00:00
code-conventions-analyzer.lock.yml Merge pull request #8835 from Z3Prover/dependabot/github_actions/actions/download-artifact-8.0.0 2026-03-02 15:48:03 -08:00
code-conventions-analyzer.md recompile workflows 2026-02-17 15:45:34 -08:00
code-simplifier.lock.yml Merge pull request #8835 from Z3Prover/dependabot/github_actions/actions/download-artifact-8.0.0 2026-03-02 15:48:03 -08:00
code-simplifier.md recompile workflows 2026-02-17 15:45:34 -08:00
copilot-setup-steps.yml update aw to current version 2026-01-08 18:15:03 +00:00
coverage.yml Bump actions/checkout from 4 to 6 2026-03-09 22:44:52 +00:00
cross-build.yml Bump actions/checkout from 4 to 6 2026-03-09 22:44:52 +00:00
csa-analysis.lock.yml Merge pull request #8835 from Z3Prover/dependabot/github_actions/actions/download-artifact-8.0.0 2026-03-02 15:48:03 -08:00
csa-analysis.md Increase Clang Static Analyzer workflow timeout from 90 to 180 minutes 2026-03-01 20:18:45 +00:00
deeptest.lock.yml Merge pull request #8835 from Z3Prover/dependabot/github_actions/actions/download-artifact-8.0.0 2026-03-02 15:48:03 -08:00
deeptest.md upgrade workflows 2026-02-13 08:57:00 -08:00
docs.yml Bump actions/checkout from 4 to 6 2026-03-09 22:44:52 +00:00
issue-backlog-processor.lock.yml Merge pull request #8835 from Z3Prover/dependabot/github_actions/actions/download-artifact-8.0.0 2026-03-02 15:48:03 -08:00
issue-backlog-processor.md Add issue-backlog-processor agentic workflow 2026-02-24 16:54:49 +00:00
memory-safety-report.lock.yml Bump actions/checkout from 4 to 6 2026-03-09 22:44:52 +00:00
memory-safety-report.md update report 2026-03-09 09:34:33 -07:00
memory-safety.yml Bump actions/checkout from 4 to 6 2026-03-09 22:44:52 +00:00
msvc-static-build-clang-cl.yml Bump actions/checkout from 4 to 6 2026-03-09 22:44:52 +00:00
msvc-static-build.yml Bump actions/checkout from 4 to 6 2026-03-09 22:44:52 +00:00
nightly-validation.yml Bump actions/checkout from 4 to 6 2026-03-09 22:44:52 +00:00
nightly.yml Bump actions/checkout from 4 to 6 2026-03-09 22:44:52 +00:00
nuget-build.yml Bump actions/checkout from 4 to 6 2026-03-09 22:44:52 +00:00
ocaml.yaml Bump actions/checkout from 4 to 6 2026-03-09 22:44:52 +00:00
pyodide.yml Bump actions/checkout from 4 to 6 2026-03-09 22:44:52 +00:00
qf-s-benchmark.lock.yml Bump actions/checkout from 4 to 6 2026-03-09 22:44:52 +00:00
qf-s-benchmark.md Rename Qf S Benchmark to ZIPT Benchmark in workflow files 2026-03-06 00:05:35 +00:00
release-notes-updater.lock.yml Merge pull request #8835 from Z3Prover/dependabot/github_actions/actions/download-artifact-8.0.0 2026-03-02 15:48:03 -08:00
release-notes-updater.md Upgrade agentic workflows to gh-aw v0.37.0 (#8261) 2026-01-20 09:42:30 -08:00
release.yml Bump actions/checkout from 4 to 6 2026-03-09 22:44:52 +00:00
soundness-bug-detector.lock.yml Merge pull request #8835 from Z3Prover/dependabot/github_actions/actions/download-artifact-8.0.0 2026-03-02 15:48:03 -08:00
soundness-bug-detector.md Add agentic workflow for automated soundness bug detection and reproduction (#8275) 2026-01-21 15:29:20 -08:00
specbot.lock.yml Merge pull request #8835 from Z3Prover/dependabot/github_actions/actions/download-artifact-8.0.0 2026-03-02 15:48:03 -08:00
specbot.md upgrade workflows 2026-02-13 08:57:00 -08:00
tactic-to-simplifier.lock.yml Merge pull request #8835 from Z3Prover/dependabot/github_actions/actions/download-artifact-8.0.0 2026-03-02 15:48:03 -08:00
tactic-to-simplifier.md Add tactic-to-simplifier comparison agentic workflow 2026-02-21 03:22:56 +00:00
wasm-release.yml Bump actions/checkout from 4 to 6 2026-03-09 22:44:52 +00:00
wasm.yml Bump actions/checkout from 4 to 6 2026-03-09 22:44:52 +00:00
Windows.yml Bump actions/checkout from 4 to 6 2026-03-09 22:44:52 +00:00
wip.yml Bump actions/checkout from 4 to 6 2026-03-09 22:44:52 +00:00
workflow-suggestion-agent.lock.yml Merge pull request #8835 from Z3Prover/dependabot/github_actions/actions/download-artifact-8.0.0 2026-03-02 15:48:03 -08:00
workflow-suggestion-agent.md Change workflow suggestion agent schedule from daily to weekly 2026-02-21 03:24:07 +00:00
zipt-code-reviewer.lock.yml Bump actions/checkout from 4 to 6 2026-03-09 22:44:52 +00:00
zipt-code-reviewer.md add zipt reviewer to master branch 2026-03-02 16:51:52 -08:00