Make a massive revamp of the Lean backend #1753
Annotations
1 error and 2 warnings
|
Run nix develop --command bash -c "cd tests/lean && make"
Process completed with exit code 2.
|
|
|
|
Post Run actions/checkout@v4
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
Loading