Skip to content

lean-pr-testing-11447#130

Open
JovanGerb wants to merge 1 commit intonightly-testingfrom
lean-pr-testing-11447
Open

lean-pr-testing-11447#130
JovanGerb wants to merge 1 commit intonightly-testingfrom
lean-pr-testing-11447

Conversation

@JovanGerb
Copy link
Copy Markdown

Testing performance improvement due to more cache.


Open in Gitpod

@JovanGerb
Copy link
Copy Markdown
Author

!bench

1 similar comment
@Garmelon
Copy link
Copy Markdown

Garmelon commented Dec 2, 2025

!bench

@leanprover-radar
Copy link
Copy Markdown

leanprover-radar commented Dec 2, 2025

Benchmark results for 5290e2a against 2100ee6 are in! @Garmelon

@kim-em kim-em force-pushed the nightly-testing branch 4 times, most recently from e1cf1ba to 91522ad Compare February 19, 2026 13:56
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants