⚡️ #4
frawareAnnotations
4 errors
|
test (ubuntu-22.04, leanprover/lean4:v4.21.0)
Process completed with exit code 1.
|
|
test (ubuntu-22.04, leanprover/lean4:v4.21.0)
lake build failed
|
|
test (macos-14, leanprover/lean4:v4.21.0)
The operation was canceled.
|
|
test (macos-14, leanprover/lean4:v4.21.0)
The strategy configuration was canceled because "test.ubuntu-22_04_leanprover_l" failed
|