Skip to content
Continuous Integration

feat: initial code example extraction #5

Sign in to view logs

feat: initial code example extraction

feat: initial code example extraction #5

Annotations

2 errors

Build and test (leanprover/lean4:4.3.0)

Build and test (leanprover/lean4:4.3.0)
cancelled Mar 1, 2024 in 43s