3 Commits

Author	SHA1	Message	Date
Dave Halter	9c2f9c63d3	Remove coverage for now	2024-12-27 23:12:06 +01:00
Dave Halter	91312f1755	Run CI on pull requests	2021-01-03 03:06:44 +01:00
Dave Halter	ea52ca5305	Try to use GitHub Actions	2020-12-26 23:38:46 +01:00