Skip to content
Continuous Integration

fix: invoke elan explicitly #62

Sign in to view logs

fix: invoke elan explicitly

fix: invoke elan explicitly #62

Annotations

2 errors

Build and test (leanprover/lean4:4.5.0)

Build and test (leanprover/lean4:4.5.0)
failed Apr 17, 2024 in 45s