diff --git a/ci/Jenkinsfile b/ci/Jenkinsfile index 1270b8c..118ce36 100644 --- a/ci/Jenkinsfile +++ b/ci/Jenkinsfile @@ -23,6 +23,11 @@ pipeline { } post { + failure { + sh 'command -v clang' + sh 'command -v aarch64-unknown-linux-gnu-clang' + } + success { dir('/home/jenkins/agent/_build/images') { sh 'zstd --rm sdcard.img & zstd --rm firmware.img & wait'