2 Commits

Author	SHA1	Message	Date
Ben Sturmfels	a8334fa7d8	Add Ubuntu 20.04 CI build, reinstate Debian 10 build.	2021-09-23 16:28:01 +10:00
Ben Sturmfels	45c1812a65	Fix bad name of Debian CI build file.	2021-09-18 09:56:50 +10:00