2 Commits

Author	SHA1	Message	Date
Tobin C. Harding	3d2a62fdd5	Run kani daily on a schedule ... Running kani takes ages, instead of running it on every pull request we can just run it daily.	2022-12-29 16:23:59 +11:00
Andrew Poelstra	d4bfc3d7b1	github: add Kani to Github CI	2022-11-27 19:01:32 +00:00