milksad
/
rust-bitcoin-unsafe-fast
14
0
Fork 0
Code Issues Pull Requests Activity

Run kani daily on a schedule 

Running kani takes ages, instead of running it on every pull request we
can just run it daily.
This commit is contained in:
Tobin C. Harding 2022-12-29 16:23:59 +11:00
parent 615759a8c2
commit 3d2a62fdd5
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
.github/workflows/kani.yml vendored
View File

@ -1,8 +1,8 @@
# From https://model-checking.github.io/kani/install-github-ci.html # From https://model-checking.github.io/kani/install-github-ci.html
name: Kani CI name: Kani CI
on: on:
pull_request: schedule:
push: - cron: '59 23 * * *' # midnight every day.
jobs: jobs:
run-kani: run-kani:
runs-on: ubuntu-20.04 runs-on: ubuntu-20.04