Andrew Poelstra 86eda8feee Merge rust-bitcoin/rust-bitcoin#1511: Run kani daily on a schedule ... 3372333865 Add a kani badge to the README (Tobin C. Harding) 3d2a62fdd5 Run kani daily on a schedule (Tobin C. Harding) Pull request description: Running kani takes ages, instead of running it on every pull request we can just run it daily. ACKs for top commit: sanket1729: ACK 3372333865 apoelstra: ACK 3372333865 Tree-SHA512: 63f71155eb3f2dd9bfbc3733c407c80b59a019d356127efc6d65cf53b517f15ddd8afd92d89f968734a508882eabbf720757d95c04d688438b762bb55a22f601		2022-12-30 15:25:52 +00:00
..
fuzz.yml	Import bitcoin_hashes crate into hashes	2022-11-08 08:58:09 +11:00
kani.yml	Run kani daily on a schedule	2022-12-29 16:23:59 +11:00
rust.yml	Merge rust-bitcoin/rust-bitcoin#1509: Use dtonlnay instead of actions-rs	2022-12-30 14:31:42 +00:00