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.6.0)

Build and test (leanprover/lean4:4.6.0)
cancelled Apr 17, 2024 in 46s