Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

cc-wrapper: convert cc-wrapper.sh to cc-wrapper.nix #266838

Closed
wants to merge 2 commits into from

cc-wrapper: use writeScript instead of builtins.toFile

ac7b474
Select commit
Loading
Failed to load commit list.
Closed

cc-wrapper: convert cc-wrapper.sh to cc-wrapper.nix #266838

cc-wrapper: use writeScript instead of builtins.toFile
ac7b474
Select commit
Loading
Failed to load commit list.
OfBorg / Evaluation Performance Report succeeded Dec 1, 2023

Evaluator Performance Report

Details

stat before after Δ Δ%
cpuTime 482.07 481.02 ↘ 1.05 -0.22%
envs-bytes 17,652,506,280 17,660,644,840 ↗ 8,138,560 0.05%
envs-elements 922,133,391 922,553,919 ↗ 420,528 0.05%
envs-number 642,214,947 642,513,343 ↗ 298,396 0.05%
gc-heapSize 52,953,059,328 53,137,612,800 ↗ 184,553,472 0.35%
gc-totalBytes 104,286,172,592 104,334,872,448 ↗ 48,699,856 0.05%
list-bytes 2,491,146,328 2,492,284,560 ↗ 1,138,232 0.05%
list-concats 54,537,813 54,568,721 ↗ 30,908 0.06%
list-elements 311,393,291 311,535,570 ↗ 142,279 0.05%
nrAvoided 783,364,786 783,764,300 ↗ 399,514 0.05%
nrFunctionCalls 598,678,190 598,962,005 ↗ 283,815 0.05%
nrLookups 314,791,000 314,914,699 ↗ 123,699 0.04%
nrOpUpdateValuesCopied 1,505,857,074 1,506,288,996 ↗ 431,922 0.03%
nrOpUpdates 69,922,561 69,956,851 ↗ 34,290 0.05%
nrPrimOpCalls 295,590,607 295,743,250 ↗ 152,643 0.05%
nrThunks 847,557,042 847,945,768 ↗ 388,726 0.05%
sets-bytes 33,359,852,208 33,369,839,024 ↗ 9,986,816 0.03%
sets-elements 1,964,244,852 1,964,819,616 ↗ 574,764 0.03%
sets-number 120,745,911 120,795,323 ↗ 49,412 0.04%
sizes-Attr 16 16 0
sizes-Bindings 16 16 0
sizes-Env 16 16 0
sizes-Value 24 24 0
symbols-bytes 2,094,578 2,094,578 0
symbols-number 158,734 158,734 0
values-bytes 26,393,769,384 26,403,991,632 ↗ 10,222,248 0.04%
values-number 1,099,740,391 1,100,166,318 ↗ 425,927 0.04%