Highlighting of node in proof tree, interactive mode now working a bit better

6 jobs for master in 103 minutes and 11 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Setup
failed #22649
setup

01:43:11

 
  Build
skipped #22650
build
 
  Test
skipped #22651
test
 
  Deploy
skipped #22652
allowed to fail
deploy
skipped #22654
allowed to fail
site
skipped #22653
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