diff --git a/ci/Jenkinsfile.docker b/ci/Jenkinsfile.docker index 0658364d..385cf966 100644 --- a/ci/Jenkinsfile.docker +++ b/ci/Jenkinsfile.docker @@ -34,6 +34,7 @@ pipeline { options { timestamps() + disableRestartFromStage() buildDiscarder(logRotator( numToKeepStr: '10', daysToKeepStr: '30', diff --git a/ci/Jenkinsfile.nix-flake b/ci/Jenkinsfile.nix-flake index 329605cd..338e46a2 100644 --- a/ci/Jenkinsfile.nix-flake +++ b/ci/Jenkinsfile.nix-flake @@ -7,6 +7,7 @@ pipeline { options { timestamps() + disableRestartFromStage() disableConcurrentBuilds() /* Prevent Jenkins jobs from running forever */ timeout(time: 30, unit: 'MINUTES')