From 3264d8f8e7a90ae9fe8342a3425412d4c9e04387 Mon Sep 17 00:00:00 2001 From: Julian Mutter Date: Sun, 26 Oct 2025 08:49:19 +0100 Subject: [PATCH] jenkins: wrap android in stages --- Jenkinsfile | 2 ++ 1 file changed, 2 insertions(+) diff --git a/Jenkinsfile b/Jenkinsfile index 0f1eca3..aac36bc 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -35,6 +35,7 @@ pipeline { } } stage('Android') { + stages { stage('Checkout F-Droid Repo') { steps { dir("fdroid-repo") { @@ -74,6 +75,7 @@ pipeline { git config --global user.name "Jenkins CI" ./push-updates.sh ''' + } } } }