Check world (test F* + all subprojects) #70
| Job | Run time |
|---|---|
| 36s | |
| 20m 37s | |
| 1m 38s | |
| 1m 42s | |
| 1m 16s | |
| 9m 10s | |
| 1m 16s | |
| 2h 3m 34s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 2h 40m 1s |
| Job | Run time |
|---|---|
| 36s | |
| 20m 37s | |
| 1m 38s | |
| 1m 42s | |
| 1m 16s | |
| 9m 10s | |
| 1m 16s | |
| 2h 3m 34s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 2h 40m 1s |