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

nist-feed: init at unstable-2024-01-20 #284782

Closed
wants to merge 3 commits into from

Merge branch 'NixOS:master' into nist-feed

9f70705
Select commit
Loading
Failed to load commit list.
Closed

nist-feed: init at unstable-2024-01-20 #284782

Merge branch 'NixOS:master' into nist-feed
9f70705
Select commit
Loading
Failed to load commit list.
OfBorg / Evaluation Performance Report succeeded Jan 29, 2024

Evaluator Performance Report

Details

stat before after Δ Δ%
cpuTime 534.56 533.53 ↘ 1.03 -0.19%
envs-bytes 18,881,178,176 18,881,291,608 ↗ 113,432 0.00%
envs-elements 986,594,912 986,600,351 ↗ 5,439 0.00%
envs-number 686,776,180 686,780,550 ↗ 4,370 0.00%
gc-heapSize 56,459,501,568 56,459,501,568 0
gc-totalBytes 111,900,483,232 111,901,456,256 ↗ 973,024 0.00%
list-bytes 2,788,572,584 2,788,590,600 ↗ 18,016 0.00%
list-concats 59,102,964 59,103,085 ↗ 121 0.00%
list-elements 348,571,573 348,573,825 ↗ 2,252 0.00%
nrAvoided 836,285,332 836,289,280 ↗ 3,948 0.00%
nrFunctionCalls 639,385,531 639,389,521 ↗ 3,990 0.00%
nrLookups 334,389,697 334,392,461 ↗ 2,764 0.00%
nrOpUpdateValuesCopied 1,628,022,810 1,628,041,052 ↗ 18,242 0.00%
nrOpUpdates 74,064,485 74,064,660 ↗ 175 0.00%
nrPrimOpCalls 316,905,025 316,907,084 ↗ 2,059 0.00%
nrThunks 904,491,394 904,496,917 ↗ 5,523 0.00%
sets-bytes 35,982,676,208 35,983,069,888 ↗ 393,680 0.00%
sets-elements 2,120,155,507 2,120,178,613 ↗ 23,106 0.00%
sets-number 128,761,756 128,763,255 ↗ 1,499 0.00%
sizes-Attr 16 16 0
sizes-Bindings 16 16 0
sizes-Env 16 16 0
sizes-Value 24 24 0
symbols-bytes 2,268,865 2,268,874 ↗ 9 0.00%
symbols-number 164,041 164,042 ↗ 1 0.00%
values-bytes 28,405,928,040 28,406,203,872 ↗ 275,832 0.00%
values-number 1,183,580,335 1,183,591,828 ↗ 11,493 0.00%