Nikolaj Bjorner
|
07742ed49f
|
Merge pull request #8834 from Z3Prover/dependabot/github_actions/actions/cache-5.0.3
Bump actions/cache from 4.3.0 to 5.0.3
|
2026-03-02 15:47:34 -08:00 |
|
Nikolaj Bjorner
|
ba88256a2a
|
Merge pull request #8836 from Z3Prover/dependabot/github_actions/actions/checkout-6.0.2
Bump actions/checkout from 5.0.1 to 6.0.2
|
2026-03-02 15:47:22 -08:00 |
|
dependabot[bot]
|
11d3a11cea
|
Bump github/gh-aw from 0.45.6 to 0.51.6
Bumps [github/gh-aw](https://github.com/github/gh-aw) from 0.45.6 to 0.51.6.
- [Release notes](https://github.com/github/gh-aw/releases)
- [Commits](https://github.com/github/gh-aw/compare/v0.45.6...v0.51.6)
---
updated-dependencies:
- dependency-name: github/gh-aw
dependency-version: 0.51.6
dependency-type: direct:production
update-type: version-update:semver-minor
...
Signed-off-by: dependabot[bot] <support@github.com>
|
2026-03-02 23:44:00 +00:00 |
|
dependabot[bot]
|
e482052b37
|
Bump actions/checkout from 5.0.1 to 6.0.2
Bumps [actions/checkout](https://github.com/actions/checkout) from 5.0.1 to 6.0.2.
- [Release notes](https://github.com/actions/checkout/releases)
- [Commits](https://github.com/actions/checkout/compare/v5.0.1...v6.0.2)
---
updated-dependencies:
- dependency-name: actions/checkout
dependency-version: 6.0.2
dependency-type: direct:production
update-type: version-update:semver-major
...
Signed-off-by: dependabot[bot] <support@github.com>
|
2026-03-02 23:42:08 +00:00 |
|
dependabot[bot]
|
b7a4ddbcd5
|
Bump actions/cache from 4.3.0 to 5.0.3
Bumps [actions/cache](https://github.com/actions/cache) from 4.3.0 to 5.0.3.
- [Release notes](https://github.com/actions/cache/releases)
- [Commits](https://github.com/actions/cache/compare/v4.3.0...v5.0.3)
---
updated-dependencies:
- dependency-name: actions/cache
dependency-version: 5.0.3
dependency-type: direct:production
update-type: version-update:semver-major
...
Signed-off-by: dependabot[bot] <support@github.com>
|
2026-03-02 23:40:54 +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 |
|