Quentin Gliech a2671fcce8 ci: switch code coverage to grcov

2021-10-06 17:46:13 +02:00

..

check.yaml

ci: switch code coverage to grcov

2021-10-06 17:46:13 +02:00

docs.yaml

Build the documentation to GitHub Pages

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