Jonathan Müller 47a643e113 Move CI to GitHub Actions ... Note that CI on windows has been dropped for now, I don't have access to a windows dev machine and it is just annoying to setup.		2021-03-01 18:19:16 +01:00
..
ci.yml	Move CI to GitHub Actions	2021-03-01 18:19:16 +01:00