Repository navigation
finance/options: fully collateralized options venue in Anchor v2, Anchor v1, and Quasar, with Kani proofs #583
| Job | Run time |
|---|---|
| 7s | |
| 18m 37s | |
| 19m 33s | |
| 18m 34s | |
| 17m 35s | |
| 18m 32s | |
| 19m 42s | |
| 16m 33s | |
| 19m 35s | |
| 19m 39s | |
| 19m 43s | |
| 15m 36s | |
| 15m 25s | |
| 17m 42s | |
| 15m 41s | |
| 6s | |
| 4h 12m 40s |