Skip to content

Conversation

@Kha
Copy link
Member

@Kha Kha commented Oct 2, 2025

No description provided.

@Kha
Copy link
Member Author

Kha commented Oct 2, 2025

!bench

@leanprover-radar
Copy link

Failed to find a commit to compare against.

@Kha Kha force-pushed the push-ktysuwtyroyk branch from 11aefb7 to 98c812a Compare October 2, 2025 17:23
@Kha
Copy link
Member Author

Kha commented Oct 2, 2025

!bench

@leanprover-radar
Copy link

Failed to find a commit to compare against.

@Kha
Copy link
Member Author

Kha commented Oct 2, 2025

!radar

@leanprover-radar
Copy link

Failed to find a commit to compare against.

@Kha Kha force-pushed the push-ktysuwtyroyk branch from 98c812a to 87de86b Compare October 2, 2025 17:31
@leanprover-bot
Copy link
Collaborator

Here are the benchmark results for commit 98c812a.
The entire run failed.
Found no significant differences.

@Kha Kha force-pushed the push-ktysuwtyroyk branch 2 times, most recently from 50d6e16 to a9530a1 Compare October 5, 2025 06:58
@Kha Kha force-pushed the push-ktysuwtyroyk branch from a9530a1 to a1743c7 Compare October 10, 2025 13:00
@Kha Kha closed this Oct 18, 2025
@Kha Kha deleted the push-ktysuwtyroyk branch October 18, 2025 12:09
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