Skip to content

chore: test fast_instance% everywhere#39780

Closed
riccardobrasca wants to merge 32 commits into
leanprover-community:masterfrom
riccardobrasca:RB/fast_instance
Closed

chore: test fast_instance% everywhere#39780
riccardobrasca wants to merge 32 commits into
leanprover-community:masterfrom
riccardobrasca:RB/fast_instance

Merge remote-tracking branch 'upstream/master' into RB/fast_instance

3eb8c21
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
post-or-update-summary-comment
succeeded May 28, 2026 in 1m 15s