try a new way to colorize build log
@@ -2,6 +2,9 @@ pipeline {
agent {
label 'docker'
}
+ options {
+ ansiColor('xterm')
+ }
stages {
stage("Init title") {
when { changeRequest() }
@@ -32,7 +35,6 @@ pipeline {
}
stage('Build and Test K') {
steps {
- ansiColor('xterm') {
sh '''
echo 'Setting up environment...'
eval `opam config env`
@@ -46,7 +48,6 @@ pipeline {
'''
}
}
- }
stage('Build Debian Package') {
steps {
dir('kframework-5.0.0') {
@@ -216,7 +217,6 @@ pipeline {
GITHUB_TOKEN = credentials('rv-jenkins')
}
steps {
- ansiColor('xterm') {
dir("bionic") {
unstash "bionic"
}
@@ -247,4 +247,3 @@ pipeline {
}
}
}
-}
