Andrew Poelstra
|
f82567fda4
|
ci: rename a couple .yml files to indicate that they're scheduled
A small attempt to organize the various github workflows
|
2024-02-28 20:47:39 +00:00 |
dependabot[bot]
|
9cbe348c9a
|
Bump model-checking/kani-github-action from 1.0 to 1.1
Bumps [model-checking/kani-github-action](https://github.com/model-checking/kani-github-action) from 1.0 to 1.1.
- [Release notes](https://github.com/model-checking/kani-github-action/releases)
- [Commits](https://github.com/model-checking/kani-github-action/compare/v1.0...v1.1)
---
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>
|
2024-01-15 10:43:18 +00:00 |
|
dependabot[bot]
|
f949fedb6d
|
Bump model-checking/kani-github-action from 0.37 to 1.0
Bumps [model-checking/kani-github-action](https://github.com/model-checking/kani-github-action) from 0.37 to 1.0.
- [Release notes](https://github.com/model-checking/kani-github-action/releases)
- [Commits](https://github.com/model-checking/kani-github-action/compare/v0.37...v1.0)
---
updated-dependencies:
- dependency-name: model-checking/kani-github-action
dependency-type: direct:production
update-type: version-update:semver-major
...
Signed-off-by: dependabot[bot] <support@github.com>
|
2023-10-02 10:26:25 +00:00 |
|
dependabot[bot]
|
9fa2111c12
|
Bump model-checking/kani-github-action from 0.36 to 0.37
Bumps [model-checking/kani-github-action](https://github.com/model-checking/kani-github-action) from 0.36 to 0.37.
- [Release notes](https://github.com/model-checking/kani-github-action/releases)
- [Commits](https://github.com/model-checking/kani-github-action/compare/v0.36...v0.37)
---
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-25 10:34:39 +00:00 |
|
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 |