From 3d2a62fdd57130767fb50aa96597dc4633c4e901 Mon Sep 17 00:00:00 2001
From: "Tobin C. Harding" <me@tobin.cc>
Date: Thu, 29 Dec 2022 16:23:59 +1100
Subject: [PATCH] Run kani daily on a schedule

Running kani takes ages, instead of running it on every pull request we
can just run it daily.
---
 .github/workflows/kani.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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