This website requires JavaScript.
Explore
Help
Sign In
milksad
/
rust-bitcoin-unsafe-fast
Watch
14
Star
0
Fork
You've already forked rust-bitcoin-unsafe-fast
0
Code
Issues
Pull Requests
Activity
2,948
Commits
1
Branch
0
Tags
21
MiB
de7fe5e4ec
Commit Graph
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