Created
March 26, 2020 16:34
-
-
Save wz1000/1d534e96e6dea4f05acd37904ed14672 to your computer and use it in GitHub Desktop.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
shakeArgsWith 0.000s 0% | |
Function shake 0.007s 0% | |
Database read 0.001s 0% | |
With database 0.000s 0% | |
Running rules 813.384s 99% ========================= | |
Pool finished (13199 threads, 12 max) 0.001s 0% | |
Cleanup 0.000s 0% | |
Total 813.393s 100% | |
Build completed in 13m33s | |
hadrian/build --flavour=devel2 --build-root=normal -j12 3131.13s user 228.76s system 399% cpu 14:00.02 total | |
shakeArgsWith 0.000s 0% | |
Function shake 0.007s 0% | |
Database read 0.000s 0% | |
With database 0.000s 0% | |
Running rules 772.859s 99% ========================= | |
Pool finished (37920 threads, 705 max) 0.001s 0% | |
Cleanup 0.000s 0% | |
Total 772.867s 99% | |
Build completed in 12m53s | |
hadrian/build --flavour=devel2 --build-root=nobench -j12 2996.23s user 214.98s system 387% cpu 13:49.04 total |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment