Tobias Gruetzmacher 50f6288c86 Move codecov to GitHub Actions		2021-05-01 11:27:05 +02:00
..
pages.yml	Move website generation to GitHub Actions	2021-05-01 11:25:01 +02:00
test.yml	Move codecov to GitHub Actions	2021-05-01 11:27:05 +02:00