2 Commits

Author	SHA1	Message	Date
John Blum	db13f435e4	Add CI build shell scripts.	2022-05-04 11:09:30 -07:00
John Blum	51510caa69	Reconfigure the Jenkins CI build to use pipelines and build inside Docker containers.	2022-05-04 10:58:16 -07:00