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

bazel: use bash with fallback $PATH consisting of basic shell utils #266847

Merged
merged 1 commit into from
Nov 12, 2023

bazel: use bash with fallback $PATH consisting of basic shell utils

b1dcea4
Select commit
Loading
Failed to load commit list.
Merged

bazel: use bash with fallback $PATH consisting of basic shell utils #266847

bazel: use bash with fallback $PATH consisting of basic shell utils
b1dcea4
Select commit
Loading
Failed to load commit list.
OfBorg / Evaluation Performance Report succeeded Nov 11, 2023

Evaluator Performance Report

Details

stat before after Δ Δ%
cpuTime 513.35 512.49 ↘ 0.86 -0.17%
envs-bytes 20,675,924,912 20,676,158,312 ↗ 233,400 0.00%
envs-elements 1,054,377,126 1,054,388,623 ↗ 11,497 0.00%
envs-number 765,056,744 765,065,583 ↗ 8,839 0.00%
gc-heapSize 53,372,493,824 53,389,266,944 ↗ 16,773,120 0.03%
gc-totalBytes 113,024,274,752 113,025,831,008 ↗ 1,556,256 0.00%
list-bytes 3,117,331,560 3,117,363,480 ↗ 31,920 0.00%
list-concats 52,818,134 52,818,629 ↗ 495 0.00%
list-elements 389,666,445 389,670,435 ↗ 3,990 0.00%
nrAvoided 967,749,927 967,759,610 ↗ 9,683 0.00%
nrFunctionCalls 697,027,112 697,035,370 ↗ 8,258 0.00%
nrLookups 510,077,768 510,084,237 ↗ 6,469 0.00%
nrOpUpdateValuesCopied 1,446,262,821 1,446,272,535 ↗ 9,714 0.00%
nrOpUpdates 68,479,669 68,480,394 ↗ 725 0.00%
nrPrimOpCalls 429,314,302 429,318,743 ↗ 4,441 0.00%
nrThunks 1,008,900,968 1,008,911,294 ↗ 10,326 0.00%
sets-bytes 33,514,912,336 33,515,147,072 ↗ 234,736 0.00%
sets-elements 1,937,743,576 1,937,756,860 ↗ 13,284 0.00%
sets-number 156,938,445 156,939,832 ↗ 1,387 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,151,076 2,151,101 ↗ 25 0.00%
symbols-number 159,687 159,688 ↗ 1 0.00%
values-bytes 30,208,523,088 30,208,813,656 ↗ 290,568 0.00%
values-number 1,258,688,462 1,258,700,569 ↗ 12,107 0.00%