Greg Turnquist 9a3c9c61d7 #1008 - Set user.name and user.home for CI jobs.

2019-06-27 15:42:28 -05:00

..

build.sh

#1008 - Set user.name and user.home for CI jobs.

2019-06-27 15:42:28 -05:00

create-release.sh

#853 - Polishing.

2019-03-05 10:12:33 -06:00

Dockerfile

#999 - Introduce Jenkins CI.

2019-06-07 16:28:10 -05:00

promote-to-bintray.sh

#999 - Introduce Jenkins CI.

2019-06-07 16:28:10 -05:00

sync-to-maven-central.sh

#999 - Introduce Jenkins CI.

2019-06-07 16:28:10 -05:00

test.sh

#1008 - Set user.name and user.home for CI jobs.

2019-06-27 15:42:28 -05:00