Skip to content

Use -pthread, and on more platforms #1020

Use -pthread, and on more platforms

Use -pthread, and on more platforms #1020

Job Run time
3m 12s
6m 20s
3m 5s
4m 12s
4m 10s
5m 47s
1m 31s
5m 54s
1m 55s
3m 53s
1m 31s
4m 42s
1m 55s
4m 17s
6m 27s
4m 50s
8m 59s
5m 44s
3m 21s
4m 18s
3m 23s
3m 9s
4m 8s
4m 8s
4m 10s
2m 4s
4m 9s
2m 20s
1m 29s
1m 33s
1m 41s
1m 27s
1h 59m 44s