1 commit

Author	SHA1	Message	Date
Adam Spiers	58c1946ed9	Port Travis CI workflow to a GitHub CI workflow ... Travis is no longer free, so move to GitHub. (In the future ideally we should reduce dependencies on proprietary platforms.)	2024-04-05 01:52:42 +01:00