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
..
test.yml	Port Travis CI workflow to a GitHub CI workflow	2024-04-05 01:52:42 +01:00