Skip to content

chore: adapt to leanprover/lean4#5835 #143575

chore: adapt to leanprover/lean4#5835

chore: adapt to leanprover/lean4#5835 #143575

Post-CI job

succeeded Nov 18, 2024 in 9s