My Gitlab CI build doesn't show errors


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:

I’m using the Lean prover as my compiler.