Status

Changes

Console Output

View Build Information

Git Build Data

Previous Build

Next Build

Changes

Started by timer

Started 4 yr 4 mo ago

Took 1 hr 53 min on built-in

Adding PR cleanup to CI and reformated with shfmt

tools/jenkinshelper.ksh Jenkinsfile

Till Wegmüller at 12:20 AM 11/30/21

Jenkins oddnes in varaibles broke build...

Till Wegmüller at 12:25 AM 11/30/21

Make ksh show the commands executed

tools/jenkinshelper.ksh

Till Wegmüller at 12:36 AM 11/30/21

Try to fix broken if not statement

tools/jenkinshelper.ksh

Till Wegmüller at 12:42 AM 11/30/21

Try to fix broken if with output suppression

tools/jenkinshelper.ksh

Till Wegmüller at 12:44 AM 11/30/21

Run ERR trap by default

tools/jenkinshelper.ksh

Till Wegmüller at 12:47 AM 11/30/21