Test !bench cslib

[Garmelon]

No description provided.

[Garmelon]

!bench cslib

[Garmelon]

!bench mathlib

[leanprover-radar]

Benchmark results for adc9157 against 219a6e0 are in. No significant results found. @Garmelon

• 🟥 build//instructions: +20.0G (+0.01%)

No significant changes detected.

[leanprover-radar]

Benchmark results for adc9157 against 219a6e0 are in. There are significant results. @Garmelon

• 🟥 main exited with code 127

No significant changes detected.

[Garmelon]

!bench cslib

[leanprover-radar]

Benchmark results for b096035 against 219a6e0 are in. No significant results found. @Garmelon

No significant changes detected.

[downstream-lean4]

Build report for bing bong

Stayed green

Repo	Critical	Build	Test	Lint
aesop	✅	✅ in 0m	✅ in 0m	⏭️
batteries	✅	✅ in 0m	✅ in 0m	✅ in 0m
import-graph	✅	✅ in 0m	✅ in 0m	⏭️
lean4-cli	✅	✅ in 0m	✅ in 0m	⏭️
mathlib4	✅	✅ in 19m	✅ in 1m	✅ in 1m
plausible	✅	✅ in 0m	✅ in 0m	⏭️
ProofWidgets4	✅	✅ in 0m	✅ in 0m	⏭️
quote4	✅	✅ in 0m	✅ in 0m	⏭️
reference-manual	✅	✅ in 1m	⏭️	⏭️
BibtexQuery		✅ in 0m	⏭️	⏭️
comparator		✅ in 0m	⏭️	⏭️
cslib		✅ in 1m	✅ in 0m	✅ in 0m
doc-gen4		✅ in 0m	⏭️	⏭️
illuminate		✅ in 0m	✅ in 0m	⏭️
lean4-unicode-basic		✅ in 0m	✅ in 0m	⏭️
lean4export		✅ in 0m	✅ in 0m	⏭️
LeanSearchClient		✅ in 0m	✅ in 0m	⏭️
leansqlite		✅ in 0m	✅ in 0m	⏭️
repl		✅ in 0m	✅ in 0m	⏭️
verso		✅ in 2m	✅ in 1m	⏭️
verso-slides		✅ in 1m	✅ in 0m	⏭️
verso-web-components		✅ in 0m	⏭️	⏭️

View run

[Garmelon]

!bench cslib

[leanprover-radar]

Benchmark results for 60601d7 against 5054f42 are in. No significant results found. @Garmelon

• 🟥 build//instructions: +127.9M (+0.01%)

No significant changes detected.

[Garmelon]

!bench cslib

[leanprover-radar]

Benchmark results for 4dc6a4b against 0ee7c40 are in. There are significant results. @Garmelon

• 🟥 main exited with code 1

No significant changes detected.

[Garmelon]

!bench cslib

[leanprover-radar]

Benchmark results for f13c7df against 37723ac are in. No significant results found. @Garmelon

• 🟥 build//instructions: +46.0M (+0.00%)

No significant changes detected.

[Garmelon]

!bench cslib

[leanprover-radar]

Benchmark results for 225d321 against 37723ac are in. No significant results found. @Garmelon

Warning

These warnings may indicate that the benchmark results are not directly comparable, for example due to changes in the runner configuration or hardware.

• Scripts for run main differ between commits.
• Bench repo commit hashes for run main differ between commits.

• 🟥 build//instructions: +1.8G (+0.09%)

No significant changes detected.

[Garmelon]

I think this looks good, yay