Use Lean v4.4.0 #10
Triggered via pull request
December 25, 2023 20:14
Anderssorby
Status
Cancelled
Total duration
9m 16s
Artifacts
–
Annotations
2 errors
|
Build
The run was canceled by @Anderssorby.
|
|
Build
The operation was canceled.
|