2 Commits

Author	SHA1	Message	Date
John Blum	340641792d	Add CI build shell scripts.	2022-05-04 11:08:34 -07:00
John Blum	144894a8c8	Reconfigure the Jenkins CI build to use pipelines and build inside Docker containers.	2022-05-04 10:56:54 -07:00