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

writers: disable broken test (fsharp) #343507

Merged
merged 1 commit into from
Oct 4, 2024

writers: disable broken test (fsharp)

e852c13
Select commit
Loading
Failed to load commit list.
Merged

writers: disable broken test (fsharp) #343507

writers: disable broken test (fsharp)
e852c13
Select commit
Loading
Failed to load commit list.
OfBorg / Evaluation Performance Report succeeded Sep 21, 2024

Evaluator Performance Report

Details

stat before after Δ Δ%
cpuTime 767.04 769.80 ↗ 2.76 0.36%
envs-bytes 23,790,696,736 23,790,637,496 ↘ 59,240 -0.00%
envs-elements 1,261,803,446 1,261,800,219 ↘ 3,227 -0.00%
envs-number 856,016,823 856,014,734 ↘ 2,089 -0.00%
gc-heapSize 68,975,300,608 68,992,081,920 ↗ 16,781,312 0.02%
gc-totalBytes 146,911,944,160 146,911,643,792 ↘ 300,368 -0.00%
list-bytes 3,464,386,192 3,464,382,520 ↘ 3,672 -0.00%
list-concats 90,797,361 90,797,192 ↘ 169 -0.00%
list-elements 433,048,274 433,047,815 ↘ 459 -0.00%
nrAvoided 992,076,234 992,073,553 ↘ 2,681 -0.00%
nrFunctionCalls 785,762,292 785,760,362 ↘ 1,930 -0.00%
nrLookups 412,133,307 412,132,470 ↘ 837 -0.00%
nrOpUpdateValuesCopied 2,153,019,715 2,153,015,958 ↘ 3,757 -0.00%
nrOpUpdates 99,115,323 99,115,013 ↘ 310 -0.00%
nrPrimOpCalls 411,689,965 411,688,853 ↘ 1,112 -0.00%
nrThunks 1,248,671,656 1,248,668,251 ↘ 3,405 -0.00%
sets-bytes 48,785,023,648 48,784,936,032 ↘ 87,616 -0.00%
sets-elements 2,864,744,350 2,864,739,316 ↘ 5,034 -0.00%
sets-number 184,319,628 184,319,186 ↘ 442 -0.00%
sizes-Attr 16 16 0
sizes-Bindings 16 16 0
sizes-Env 16 16 0
sizes-Value 24 24 0
symbols-bytes 3,152,252 3,152,231 ↘ 21 -0.00%
symbols-number 184,748 184,747 ↘ 1 -0.00%
values-bytes 38,229,311,400 38,229,226,056 ↘ 85,344 -0.00%
values-number 1,592,887,975 1,592,884,419 ↘ 3,556 -0.00%