Merge pull request #2694 from Evanfeenstra/public-scid-utils #12941
Job | Run time |
---|---|
5m 18s | |
9s | |
44m 10s | |
46m 33s | |
45m 11s | |
1m 49s | |
58m 29s | |
1h 48m 14s | |
56s | |
1h 20m 50s | |
1h 19m 19s | |
1h 36m 10s | |
1h 1m 53s | |
1h 1m 27s | |
1h 28m 37s | |
12h 59m 5s |
Job | Run time |
---|---|
5m 18s | |
9s | |
44m 10s | |
46m 33s | |
45m 11s | |
1m 49s | |
58m 29s | |
1h 48m 14s | |
56s | |
1h 20m 50s | |
1h 19m 19s | |
1h 36m 10s | |
1h 1m 53s | |
1h 1m 27s | |
1h 28m 37s | |
12h 59m 5s |