Skip to content

Merge pull request #1035 from shonfeder/1034/dune-2 #891

Merge pull request #1035 from shonfeder/1034/dune-2

Merge pull request #1035 from shonfeder/1034/dune-2 #891

Job Run time
3m 2s
2m 43s
2m 28s
2m 37s
2m 29s
2m 48s
3m 38s
2m 44s
2m 40s
2m 43s
2m 42s
2m 48s
2m 28s
2m 33s
2m 26s
2m 40s
2m 26s
2m 43s
2m 38s
2m 40s
2m 38s
2m 53s
3m 29s
6m 55s
1m 53s
2m 23s
4m 22s
1h 18m 29s