Deploy WASM integration to https://mit-plv.github.io/fiat-crypto (#1749) #32
| Job | Run time |
|---|---|
| 41m 32s | |
| 1h 7m 3s | |
| 13m 51s | |
| 43m 21s | |
| 1h 10m 52s | |
| 1h 32m 21s | |
| 41m 44s | |
| 1h 10m 19s | |
| 1h 36m 41s | |
| 8h 57m 44s |
| Job | Run time |
|---|---|
| 41m 32s | |
| 1h 7m 3s | |
| 13m 51s | |
| 43m 21s | |
| 1h 10m 52s | |
| 1h 32m 21s | |
| 41m 44s | |
| 1h 10m 19s | |
| 1h 36m 41s | |
| 8h 57m 44s |