diff --git a/Jenkinsfile b/Jenkinsfile index ce4863175..3c4775bef 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -8,6 +8,15 @@ pipeline { jdk "jdk-17.0.1" } + options { + // Sometimes builds freeze, but this doesn't have to be super aggressive. + timeout(time: 30, unit: 'MINUTES') + } + + parameters { + booleanParam(name: 'RELEASE', defaultValue: false, description: 'Publish artifacts without a build number.') + } + stages { stage('Setup') { @@ -22,6 +31,10 @@ pipeline { stage('Build') { + environment { + RELEASE="${params.RELEASE}" + } + steps { withCredentials([ // build_secrets is parsed in SubprojectExtension#loadSecrets diff --git a/gradle.properties b/gradle.properties index 270df3fd2..bf409faa9 100644 --- a/gradle.properties +++ b/gradle.properties @@ -8,7 +8,7 @@ mod_homepage = https://github.com/Engine-Room/Flywheel # Flywheel metadata flywheel_id=flywheel flywheel_name=Flywheel -flywheel_version=1.0.1-beta +flywheel_version=1.0.1 flywheel_description=An overhauled entity and block entity rendering API. # Vanillin metadata vanillin_id=vanillin