John Blum 2debef5e81 Switch Jenkins CI pipeline build to 'gradlew clean build'.

2023-06-09 16:37:46 -07:00

..

build.sh

Switch Jenkins CI pipeline build to 'gradlew clean build'.

2023-06-09 16:37:46 -07:00

check.sh

Use Bash shell scripts to encapsulate build steps in the Jenkins CI build stages.

2021-04-14 17:59:40 -07:00

cleanupArtifacts.sh

Use Bash shell scripts to encapsulate build steps in the Jenkins CI build stages.

2021-04-14 17:59:40 -07:00

cleanupGemFiles.sh

Use Bash shell scripts to encapsulate build steps in the Jenkins CI build stages.

2021-04-14 17:59:40 -07:00

deployArtifacts.sh

Use Bash shell scripts to encapsulate build steps in the Jenkins CI build stages.

2021-04-14 17:59:40 -07:00

deployDocs.sh

Use Bash shell scripts to encapsulate build steps in the Jenkins CI build stages.

2021-04-14 17:59:40 -07:00

pipeline.properties

Set Jenkins CI build to JDK 8.

2022-05-04 10:38:18 -07:00

setup.sh

Disable Docker login.

2022-05-03 15:33:24 -07:00