feat(formal verif): resurrect fiat-crypto with formally verified asse… #1980
Job | Run time |
---|---|
52m 34s | |
51m 25s | |
23m 17s | |
20m 51s | |
32m 48s | |
30m 49s | |
44m 33s | |
43m 40s | |
21m 42s | |
19m 11s | |
48m 23s | |
46m 22s | |
7h 15m 35s |
Job | Run time |
---|---|
52m 34s | |
51m 25s | |
23m 17s | |
20m 51s | |
32m 48s | |
30m 49s | |
44m 33s | |
43m 40s | |
21m 42s | |
19m 11s | |
48m 23s | |
46m 22s | |
7h 15m 35s |