Hi,
My build fails and I see the last command that was run but I don’t get an error message in the log. If I run the same on my computer, I get the right compiler error. What should I do?
Here’s my build: https://gitlab.com/simon.hudon/lean-depot/-/jobs/335598682
I’m using the Lean prover as my compiler.