Set up AnsiColor Jenkins plugin (#682)

* Set up AnsiColor Jenkins plugin

* deliberate error

* Update z_en_firefly.c
This commit is contained in:
Ethan Roseman 2022-02-20 12:53:05 -05:00 committed by GitHub
parent fa069535d0
commit 91b983776e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 0 deletions

4
Jenkinsfile vendored
View File

@ -3,6 +3,10 @@ pipeline {
label 'mm'
}
options {
ansiColor('xterm')
}
stages {
stage('Check formatting') {
steps {