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

cargo2junit: fix build #344219

Merged
merged 2 commits into from
Sep 25, 2024

cargo2junit: fix build

ef8d37e
Select commit
Loading
Failed to load commit list.
Merged

cargo2junit: fix build #344219

cargo2junit: fix build
ef8d37e
Select commit
Loading
Failed to load commit list.
OfBorg / Evaluation Performance Report succeeded Sep 24, 2024

Evaluator Performance Report

Details

stat before after Δ Δ%
cpuTime 768.99 770.78 ↗ 1.79 0.23%
envs-bytes 23,787,250,176 23,787,251,128 ↗ 952 0.00%
envs-elements 1,261,755,652 1,261,755,697 ↗ 45 0.00%
envs-number 855,825,310 855,825,347 ↗ 37 0.00%
gc-heapSize 69,126,295,552 69,109,518,336 ↘ 16,777,216 -0.02%
gc-totalBytes 147,006,484,240 147,006,606,976 ↗ 122,736 0.00%
list-bytes 3,465,499,360 3,465,499,392 ↗ 32 0.00%
list-concats 90,876,951 90,876,951 0
list-elements 433,187,420 433,187,424 ↗ 4 0.00%
nrAvoided 992,110,210 992,110,256 ↗ 46 0.00%
nrFunctionCalls 785,646,343 785,646,376 ↗ 33 0.00%
nrLookups 411,698,771 411,698,785 ↗ 14 0.00%
nrOpUpdateValuesCopied 2,157,137,920 2,157,140,071 ↗ 2,151 0.00%
nrOpUpdates 99,202,927 99,202,927 0
nrPrimOpCalls 411,673,656 411,673,678 ↗ 22 0.00%
nrThunks 1,248,878,681 1,248,877,652 ↘ 1,029 -0.00%
sets-bytes 48,850,645,248 48,850,680,016 ↗ 34,768 0.00%
sets-elements 2,869,004,741 2,869,006,914 ↗ 2,173 0.00%
sets-number 184,160,587 184,160,587 0
sizes-Attr 16 16 0
sizes-Bindings 16 16 0
sizes-Env 16 16 0
sizes-Value 24 24 0
symbols-bytes 3,154,252 3,154,252 0
symbols-number 184,872 184,872 0
values-bytes 38,235,403,320 38,235,454,248 ↗ 50,928 0.00%
values-number 1,593,141,805 1,593,143,927 ↗ 2,122 0.00%