Skip to content
continuous integration

Trigger CI for https://github.com/leanprover/lean4/pull/3847 #84210

Sign in to view logs

Trigger CI for https://github.com/leanprover/lean4/pull/3847

Trigger CI for https://github.com/leanprover/lean4/pull/3847 #84210

Check all files imported

Check all files imported
succeeded Apr 10, 2024 in 12s