Merge branch 'pbrubeck/h1curl' of github.com:firedrakeproject/fiat in… #1873
| Job | Run time |
|---|---|
| 2m 10s | |
| 2m 10s | |
| 2m 15s | |
| 2m 14s | |
| 2m 10s | |
| 2m 6s | |
| 2m 55s | |
| 2m 53s | |
| 1m 26s | |
| 1m 44s | |
| 1m 30s | |
| 1m 28s | |
| 1m 12s | |
| 1m 45s | |
| 1m 23s | |
| 1m 39s | |
| 31m 0s |
| Job | Run time |
|---|---|
| 2m 10s | |
| 2m 10s | |
| 2m 15s | |
| 2m 14s | |
| 2m 10s | |
| 2m 6s | |
| 2m 55s | |
| 2m 53s | |
| 1m 26s | |
| 1m 44s | |
| 1m 30s | |
| 1m 28s | |
| 1m 12s | |
| 1m 45s | |
| 1m 23s | |
| 1m 39s | |
| 31m 0s |