Merge pull request #1470 from informalsystems/gabriela/website-fixes #3402
| Job | Run time |
|---|---|
| 51s | |
| 1m 6s | |
| 1m 33s | |
| 24s | |
| 4m 13s | |
| 4m 11s | |
| 3m 24s | |
| 3m 34s | |
| 30s | |
| 4m 37s | |
| 1m 3s | |
| 1m 30s | |
| 3m 28s | |
| 4m 17s | |
| 34m 41s |
| Job | Run time |
|---|---|
| 51s | |
| 1m 6s | |
| 1m 33s | |
| 24s | |
| 4m 13s | |
| 4m 11s | |
| 3m 24s | |
| 3m 34s | |
| 30s | |
| 4m 37s | |
| 1m 3s | |
| 1m 30s | |
| 3m 28s | |
| 4m 17s | |
| 34m 41s |