openecos-projects/ecc #3 eval

openecos-projects/ecc build #3 evaluation

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

status	attribute	time	allocated
succeeded	`checks.x86_64-linux.default`	3.1 s	335.9 MiB
skipped local	`checks.x86_64-linux.devShell`	1.9 s	274.8 MiB
skipped local	`checks.x86_64-linux.keplerFormal`	913 ms	137.2 MiB
skipped local	`checks.x86_64-linux.list-versions`	827 ms	86.8 MiB
skipped local	`checks.x86_64-linux.signoff-csv`	792 ms	86.8 MiB
skipped local	`checks.x86_64-linux.revision`	775 ms	86.9 MiB
skipped local	`checks.x86_64-linux.signoff-csv-fixture`	536 ms	36.2 MiB
skipped local	`checks.x86_64-linux.signoff-lit`	487 ms	30.6 MiB
skipped local	`checks.x86_64-linux.filecheck`	346 ms	57.2 MiB
skipped local	`checks.x86_64-linux.lit`	273 ms	50.6 MiB
skipped local	`checks.x86_64-linux.signoff-tools`	11 ms	1.1 MiB