3 Commits

Author	SHA1	Message	Date
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