dependabot[bot]
|
88fcc05d6c
|
Bump actions/upload-artifact from 4 to 5 (#7998)
Bumps [actions/upload-artifact](https://github.com/actions/upload-artifact) from 4 to 5.
- [Release notes](https://github.com/actions/upload-artifact/releases)
- [Commits](https://github.com/actions/upload-artifact/compare/v4...v5)
---
updated-dependencies:
- dependency-name: actions/upload-artifact
dependency-version: '5'
dependency-type: direct:production
update-type: version-update:semver-major
...
Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
|
2025-10-28 15:47:26 -07:00 |
|
dependabot[bot]
|
488c712f5b
|
Bump actions/download-artifact from 5 to 6 (#7999)
Bumps [actions/download-artifact](https://github.com/actions/download-artifact) from 5 to 6.
- [Release notes](https://github.com/actions/download-artifact/releases)
- [Commits](https://github.com/actions/download-artifact/compare/v5...v6)
---
updated-dependencies:
- dependency-name: actions/download-artifact
dependency-version: '6'
dependency-type: direct:production
update-type: version-update:semver-major
...
Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
|
2025-10-28 15:47:15 -07:00 |
|
dependabot[bot]
|
68a7d1e1b1
|
Bump actions/setup-node from 5 to 6 (#7994)
Bumps [actions/setup-node](https://github.com/actions/setup-node) from 5 to 6.
- [Release notes](https://github.com/actions/setup-node/releases)
- [Commits](https://github.com/actions/setup-node/compare/v5...v6)
---
updated-dependencies:
- dependency-name: actions/setup-node
dependency-version: '6'
dependency-type: direct:production
update-type: version-update:semver-major
...
Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
|
2025-10-21 21:17:35 +02:00 |
|
dependabot[bot]
|
e669fbe557
|
Bump github/codeql-action from 3 to 4 (#7971)
Bumps [github/codeql-action](https://github.com/github/codeql-action) from 3 to 4.
- [Release notes](https://github.com/github/codeql-action/releases)
- [Changelog](https://github.com/github/codeql-action/blob/main/CHANGELOG.md)
- [Commits](https://github.com/github/codeql-action/compare/v3...v4)
---
updated-dependencies:
- dependency-name: github/codeql-action
dependency-version: '4'
dependency-type: direct:production
update-type: version-update:semver-major
...
Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
|
2025-10-14 18:08:27 +02:00 |
|
dependabot[bot]
|
3ce8aca411
|
Bump actions/checkout from 4 to 5 (#7954)
Bumps [actions/checkout](https://github.com/actions/checkout) from 4 to 5.
- [Release notes](https://github.com/actions/checkout/releases)
- [Changelog](https://github.com/actions/checkout/blob/main/CHANGELOG.md)
- [Commits](https://github.com/actions/checkout/compare/v4...v5)
---
updated-dependencies:
- dependency-name: actions/checkout
dependency-version: '5'
dependency-type: direct:production
update-type: version-update:semver-major
...
Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
|
2025-10-04 01:22:52 -07:00 |
|
Nikolaj Bjorner
|
253a7245d0
|
add analysis
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2025-09-28 13:05:04 +03:00 |
|
Nikolaj Bjorner
|
b5f79da76a
|
add analysis
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2025-09-28 13:03:31 +03:00 |
|
Nikolaj Bjorner
|
ae55b6fa1e
|
add analysis
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2025-09-28 13:02:05 +03:00 |
|
Don Syme
|
5d91294e90
|
update workflows
|
2025-09-19 03:31:56 +01:00 |
|
Don Syme
|
7cb491dd6a
|
update compiled workflows
|
2025-09-17 23:49:55 +01:00 |
|
Don Syme
|
d989bcaebe
|
update compiled workflows
|
2025-09-17 23:47:16 +01:00 |
|
Don Syme
|
f300dfc425
|
recompile improvers
|
2025-09-17 16:41:49 +01:00 |
|
Don Syme
|
2d0b9e6972
|
recompile improvers
|
2025-09-17 15:50:33 +01:00 |
|
Don Syme
|
aabdb407d1
|
latest improvers
|
2025-09-17 13:49:00 +01:00 |
|
Don Syme
|
2364ea42ba
|
update improvers
|
2025-09-17 13:19:24 +01:00 |
|
Don Syme
|
7268136bb6
|
update workflows
|
2025-09-17 11:33:24 +01:00 |
|
Don Syme
|
db8206d265
|
improve improvers
|
2025-09-17 11:03:23 +01:00 |
|
Don Syme
|
5b70f75d89
|
allow burner to create PRs
|
2025-09-17 02:41:38 +01:00 |
|
Don Syme
|
81da4be228
|
backlog burner
|
2025-09-17 02:20:48 +01:00 |
|
Don Syme
|
ba4c9238c0
|
add daily backlog burner
|
2025-09-17 02:03:48 +01:00 |
|
Don Syme
|
647c8cc6c1
|
add roles
|
2025-09-17 00:04:24 +01:00 |
|
Don Syme
|
6d3daa5338
|
add ask and pr-fix
|
2025-09-16 23:31:01 +01:00 |
|
Don Syme
|
75a6e7a379
|
update improvers
|
2025-09-16 23:27:26 +01:00 |
|
Don Syme
|
ce81aa9078
|
Merge pull request #7886 from Z3Prover/fix-coverage-merge-mode-3c3ea7b0579fb998
Daily Test Coverage Improver: Fix coverage report generation
|
2025-09-16 18:07:10 +01:00 |
|
Nikolaj Bjorner
|
9069a35b69
|
Update wip.yml
|
2025-09-16 09:57:37 -07:00 |
|