openecos-projects/ecc #2 eval

openecos-projects/ecc build #2 evaluation

took 3m 52s · 11 attributes · measured per nix-eval-jobs worker, shared work counts towards the first attribute that needs it

status	attribute	time	allocated
skipped local	`checks.x86_64-linux.default`	3.9 s	335.8 MiB
skipped local	`checks.x86_64-linux.devShell`	1.9 s	274.8 MiB
skipped local	`checks.x86_64-linux.keplerFormal`	982 ms	137.2 MiB
skipped local	`checks.x86_64-linux.revision`	825 ms	86.9 MiB
skipped local	`checks.x86_64-linux.signoff-csv`	811 ms	86.8 MiB
skipped local	`checks.x86_64-linux.list-versions`	802 ms	86.8 MiB
skipped local	`checks.x86_64-linux.signoff-csv-fixture`	523 ms	36.2 MiB
skipped local	`checks.x86_64-linux.signoff-lit`	479 ms	30.6 MiB
skipped local	`checks.x86_64-linux.filecheck`	339 ms	57.2 MiB
skipped local	`checks.x86_64-linux.lit`	305 ms	50.6 MiB
skipped local	`checks.x86_64-linux.signoff-tools`	12 ms	1.1 MiB