100% Lean 4, pre-DCP rewrites and more #31
Triggered via pull request
November 22, 2023 18:33
ramonfmir
Status
Cancelled
Total duration
12m 33s
Artifacts
–
Annotations
2 errors
|
build
The run was canceled by @ramonfmir.
|
|
build
The operation was canceled.
|