2022-11-27 18:09:37 +00:00
|
|
|
# From https://model-checking.github.io/kani/install-github-ci.html
|
|
|
|
|
name: Kani CI
|
|
|
|
|
on:
|
2022-12-29 05:23:59 +00:00
|
|
|
schedule:
|
|
|
|
|
- cron: '59 23 * * *' # midnight every day.
|
2022-11-27 18:09:37 +00:00
|
|
|
jobs:
|
|
|
|
|
run-kani:
|
|
|
|
|
runs-on: ubuntu-20.04
|
|
|
|
|
steps:
|
|
|
|
|
- name: 'Checkout your code.'
|
2023-09-09 15:26:36 +00:00
|
|
|
uses: actions/checkout@v4
|
2022-11-27 18:09:37 +00:00
|
|
|
|
|
|
|
|
- name: 'Run Kani on your code.'
|
2024-01-15 10:43:18 +00:00
|
|
|
uses: model-checking/kani-github-action@v1.1
|
