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

cli.nix: improve documentation, including arguments #315820

Merged
merged 1 commit into from
Jun 28, 2024

cli.nix: improve documentation, including arguments

19a3000
Select commit
Loading
Failed to load commit list.
Merged

cli.nix: improve documentation, including arguments #315820

cli.nix: improve documentation, including arguments
19a3000
Select commit
Loading
Failed to load commit list.
OfBorg / Evaluation Performance Report succeeded May 30, 2024

Evaluator Performance Report

Details

stat before after Δ Δ%
cpuTime 659.99 665.92 ↗ 5.93 0.90%
envs-bytes 21,068,524,000 21,068,524,000 0
envs-elements 1,109,314,822 1,109,314,822 0
envs-number 762,125,339 762,125,339 0
gc-heapSize 59,177,410,560 59,177,410,560 0
gc-totalBytes 130,279,833,536 130,279,850,032 ↗ 16,496 0.00%
list-bytes 3,673,930,928 3,673,930,928 0
list-concats 84,224,165 84,224,165 0
list-elements 459,241,366 459,241,366 0
nrAvoided 883,619,604 883,619,604 0
nrFunctionCalls 700,632,492 700,632,492 0
nrLookups 366,184,914 366,184,914 0
nrOpUpdateValuesCopied 1,890,121,183 1,890,121,183 0
nrOpUpdates 86,438,762 86,438,762 0
nrPrimOpCalls 365,818,601 365,818,601 0
nrThunks 1,086,468,311 1,086,468,311 0
sets-bytes 42,935,998,704 42,935,998,704 0
sets-elements 2,521,092,156 2,521,092,156 0
sets-number 162,407,763 162,407,763 0
sizes-Attr 16 16 0
sizes-Bindings 16 16 0
sizes-Env 16 16 0
sizes-Value 24 24 0
symbols-bytes 2,470,560 2,470,560 0
symbols-number 172,413 172,413 0
values-bytes 33,458,635,704 33,458,635,704 0
values-number 1,394,109,821 1,394,109,821 0