From 0992cefeb877a9f554b73a56b9fb82d93416a243 Mon Sep 17 00:00:00 2001 From: Eyck Jentzsch Date: Sat, 6 Apr 2024 12:50:52 +0200 Subject: [PATCH] changes Jenkins step name --- Jenkinsfile | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/Jenkinsfile b/Jenkinsfile index 07eacc9..fa67378 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -90,7 +90,7 @@ pipeline { } } // - stage('CLang') { + stage('Format check') { agent {docker { image 'ubuntu-riscv' } } stages { stage('Checkout') { steps { checkout_project() }} @@ -98,7 +98,6 @@ pipeline { stage('Build & check format') { steps { sh''' cmake -S . -B build - cmake --build build -j12 cmake --build build --target format-check ''' }}