Skip to content
Continuous Integration

fix: invoke elan explicitly #63

Sign in to view logs

fix: invoke elan explicitly

fix: invoke elan explicitly #63

Annotations

2 errors

Build and test (leanprover/lean4:4.7.0)

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