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

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