John Blum 8108c228c4 Edit Jenkins CI pipeline properties and upgrade to JDK 8u382.

2023-09-07 10:55:13 -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

Edit Jenkins CI pipeline properties and upgrade to JDK 8u382.

2023-09-07 10:55:13 -07:00

setup.sh

Disable Docker login.

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