Merge pull request #426 from tweag/fd/check-c-types #242
| Job | Run time |
|---|---|
| 11m 16s | |
| 30m 58s | |
| 36m 59s | |
| 5h 59m 45s | |
| 34m 6s | |
| 50m 40s | |
| 23m 11s | |
| 19m 25s | |
| 18m 54s | |
| 24m 11s | |
| 23m 51s | |
| 10h 33m 16s |
| Job | Run time |
|---|---|
| 11m 16s | |
| 30m 58s | |
| 36m 59s | |
| 5h 59m 45s | |
| 34m 6s | |
| 50m 40s | |
| 23m 11s | |
| 19m 25s | |
| 18m 54s | |
| 24m 11s | |
| 23m 51s | |
| 10h 33m 16s |