Merge branch 'main' into infer_type #37
Job | Run time |
---|---|
2m 49s | |
3m 48s | |
3m 12s | |
3m 42s | |
3m 4s | |
2m 52s | |
3m 3s | |
3m 23s | |
3m 0s | |
3m 11s | |
3m 3s | |
5m 15s | |
40m 22s |
Job | Run time |
---|---|
2m 49s | |
3m 48s | |
3m 12s | |
3m 42s | |
3m 4s | |
2m 52s | |
3m 3s | |
3m 23s | |
3m 0s | |
3m 11s | |
3m 3s | |
5m 15s | |
40m 22s |