Merge pull request #10658 from som-snytt/issue/12929-specialization-c… #951
Job | Run time |
---|---|
39m 48s | |
41m 53s | |
41m 0s | |
40m 29s | |
47m 50s | |
50m 28s | |
55m 50s | |
52m 19s | |
6h 9m 37s |
Job | Run time |
---|---|
39m 48s | |
41m 53s | |
41m 0s | |
40m 29s | |
47m 50s | |
50m 28s | |
55m 50s | |
52m 19s | |
6h 9m 37s |