Skip to content

GitLab

Loading of proof files improved

3 jobs for notypeclasses
latest Auto DevOps
6f93e9ce
No related merge requests found.
Status Job ID Name Coverage
  Build
failed #1723
build

 
  Test
skipped #1725
allowed to fail
code_quality
skipped #1724
test
 
Name Stage Failure
failed
build Build There has been a timeout failure or the job got stuck. Check your timeout limits or try again 
No job log