Skip to content
Continuous Integration

fix: invoke elan explicitly (#14) #81

Sign in to view logs

fix: invoke elan explicitly (#14)

fix: invoke elan explicitly (#14) #81

Build and test (leanprover/lean4:4.3.0)

Build and test (leanprover/lean4:4.3.0)
succeeded Apr 19, 2024 in 44s