diff --git a/.github/workflows/kani.yml b/.github/workflows/kani.yml
index 2f53fc71..2b69dd2e 100644
--- a/.github/workflows/kani.yml
+++ b/.github/workflows/kani.yml
@@ -1,8 +1,8 @@
# From https://model-checking.github.io/kani/install-github-ci.html
name: Kani CI
on:
- pull_request:
- push:
+ schedule:
+ - cron: '59 23 * * *' # midnight every day.
jobs:
run-kani:
runs-on: ubuntu-20.04
diff --git a/README.md b/README.md
index 5791b296..d2305355 100644
--- a/README.md
+++ b/README.md
@@ -14,6 +14,7 @@
+