Skip to content

GitLab

P
ProofScriptParser

update gui

6 jobs for LulusSequentMatcher in 108 minutes and 14 seconds (queued for 3 seconds)
54d86b82 54d86b8287838e8bb0821c96d3a4ab7d2de0de15
1 related merge request: !5 Lulus sequent matcher
Status Job ID Name Coverage
  Setup
failed #24416
setup

01:48:14

 
  Build
skipped #24417
build
 
  Test
skipped #24418
test
 
  Deploy
skipped #24419
allowed to fail
deploy
skipped #24421
allowed to fail
site
skipped #24420
allowed to fail
sonar
 
Name Stage Failure
failed
setup Setup There has been a timeout failure or the job got stuck. Check your timeout limits or try again 
No job log