rust-bitcoin-unsafe-fast/.github/workflows/kani.yml

15 lines
370 B
YAML
Raw Normal View History

2022-11-27 18:09:37 +00:00
# From https://model-checking.github.io/kani/install-github-ci.html
name: Kani CI
on:
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.'
uses: actions/checkout@v4
2022-11-27 18:09:37 +00:00
- name: 'Run Kani on your code.'
uses: model-checking/kani-github-action@v1.1