Use cleveref

1 job for master in 39 seconds
Status Name Job ID Coverage
  Test
failed build #5093

00:00:39

 
Name Stage Failure
failed
build Test There is an unknown failure, please try again
Latexmk: Summary of warnings:
Latex failed to resolve 1 reference(s)
Failure to make 'build/tipps.pdf'
Collected error summary (may duplicate other messages):
pdflatex: Command for 'pdflatex' gave return code 256
Latexmk: Errors, in force_mode: so I tried finishing targets
Makefile:7: recipe for target 'build/tipps.pdf' failed
make: *** [build/tipps.pdf] Error 12
ERROR: Build failed: exit code 1