Quentin Gliech d8286cde55 ci: fix code coverage generation

2022-02-17 16:23:41 +01:00

..

check.yaml

ci: fix code coverage generation

2022-02-17 16:23:41 +01:00

docs.yaml

Build the documentation to GitHub Pages

2021-09-24 19:10:49 +02:00