dependabot[bot]
|
ddcf705f6a
|
Bump actions/checkout from 2 to 4
Bumps [actions/checkout](https://github.com/actions/checkout) from 2 to 4.
- [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/v2...v4)
---
updated-dependencies:
- dependency-name: actions/checkout
dependency-type: direct:production
update-type: version-update:semver-major
...
Signed-off-by: dependabot[bot] <support@github.com>
|
2023-09-09 15:26:36 +00:00 |
|
dependabot[bot]
|
1f25a40440
|
Bump model-checking/kani-github-action from 0.15 to 0.36
Bumps [model-checking/kani-github-action](https://github.com/model-checking/kani-github-action) from 0.15 to 0.36.
- [Release notes](https://github.com/model-checking/kani-github-action/releases)
- [Commits](https://github.com/model-checking/kani-github-action/compare/v0.15...v0.36)
---
updated-dependencies:
- dependency-name: model-checking/kani-github-action
dependency-type: direct:production
update-type: version-update:semver-minor
...
Signed-off-by: dependabot[bot] <support@github.com>
|
2023-09-08 20:22:53 +00:00 |
Tobin C. Harding
|
3d2a62fdd5
|
Run kani daily on a schedule
Running kani takes ages, instead of running it on every pull request we
can just run it daily.
|
2022-12-29 16:23:59 +11:00 |
Andrew Poelstra
|
d4bfc3d7b1
|
github: add Kani to Github CI
|
2022-11-27 19:01:32 +00:00 |