Merge branch 'master' of github.com:augustss/MicroHs #236
Job | Run time |
---|---|
5m 12s | |
37m 38s | |
5s | |
10m 25s | |
31m 44s | |
39m 34s | |
5m 10s | |
5m 37s | |
6m 9s | |
3m 47s | |
8m 13s | |
1m 55s | |
2h 35m 29s |
Job | Run time |
---|---|
5m 12s | |
37m 38s | |
5s | |
10m 25s | |
31m 44s | |
39m 34s | |
5m 10s | |
5m 37s | |
6m 9s | |
3m 47s | |
8m 13s | |
1m 55s | |
2h 35m 29s |