3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-03-03 12:16:54 +00:00
Commit graph

5 commits

Author SHA1 Message Date
dependabot[bot]
867e768aa8
Bump actions/download-artifact from 6.0.0 to 8.0.0
Bumps [actions/download-artifact](https://github.com/actions/download-artifact) from 6.0.0 to 8.0.0.
- [Release notes](https://github.com/actions/download-artifact/releases)
- [Commits](https://github.com/actions/download-artifact/compare/v6...v8)

---
updated-dependencies:
- dependency-name: actions/download-artifact
  dependency-version: 8.0.0
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <support@github.com>
2026-03-02 23:41:23 +00:00
copilot-swe-agent[bot]
51c84fb295 Increase Clang Static Analyzer workflow timeout from 90 to 180 minutes
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
2026-03-01 20:18:45 +00:00
copilot-swe-agent[bot]
99d8db8ba8 initial plan
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
2026-02-26 03:39:40 +00:00
Nikolaj Bjorner
48de0f8a5e updated compiled workflows
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2026-02-24 16:12:53 -08:00
copilot-swe-agent[bot]
cdd5582a5b Add Clang Static Analyzer (CSA) agentic workflow with Discussion reporting
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
2026-02-24 19:30:15 +00:00