Make a massive revamp of the Lean backend #1751
Annotations
2 errors
|
|
|
Run nix build -L .#checks.x86_64-linux.default
The operation was canceled.
|
Loading