openecos-projects/ecc #1 eval

openecos-projects/ecc build #1 evaluation

took 5m 34s · 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.6 s	335.8 MiB
skipped local	`checks.x86_64-linux.devShell`	1.8 s	274.8 MiB
skipped local	`checks.x86_64-linux.keplerFormal`	857 ms	137.2 MiB
skipped local	`checks.x86_64-linux.revision`	777 ms	86.9 MiB
skipped local	`checks.x86_64-linux.list-versions`	747 ms	86.8 MiB
skipped local	`checks.x86_64-linux.signoff-csv`	703 ms	86.8 MiB
skipped local	`checks.x86_64-linux.signoff-csv-fixture`	452 ms	36.2 MiB
skipped local	`checks.x86_64-linux.signoff-lit`	432 ms	30.6 MiB
skipped local	`checks.x86_64-linux.filecheck`	328 ms	57.2 MiB
skipped local	`checks.x86_64-linux.lit`	244 ms	50.6 MiB
skipped local	`checks.x86_64-linux.signoff-tools`	13 ms	1.1 MiB