2 Commits

Author	SHA1	Message	Date
John Blum	73a1cf2d11	Add CI build shell scripts.	2022-05-04 11:10:10 -07:00
John Blum	b3a3203069	Reconfigure the Jenkins CI build to use pipelines and build inside Docker containers.	2022-05-04 10:58:51 -07:00