John Blum df0709c915 Switch Jenkins CI pipeline build to using 'gradle clean build'.

2023-06-24 09:44:14 -07:00

..

build.sh

Switch Jenkins CI pipeline build to using 'gradle clean build'.

2023-06-24 09:44:14 -07:00

check.sh

Add CI build shell scripts.

2022-05-04 11:08:34 -07:00

cleanupArtifacts.sh

Add CI build shell scripts.

2022-05-04 11:08:34 -07:00

cleanupGemFiles.sh

Add CI build shell scripts.

2022-05-04 11:08:34 -07:00

deployArtifacts.sh

Add CI build shell scripts.

2022-05-04 11:08:34 -07:00

deployDocs.sh

Add CI build shell scripts.

2022-05-04 11:08:34 -07:00

pipeline.properties

Reconfigure the Jenkins CI build to use pipelines and build inside Docker containers.

2022-05-04 10:56:54 -07:00

setup.sh

Add CI build shell scripts.

2022-05-04 11:08:34 -07:00