Xavier Delaruelle ffba76ed5c codecov: migrate to new uploader ...

see https://about.codecov.io/blog/introducing-codecovs-new-uploader/.

gcov needs to be run manually with new uploader.

2021-10-14 07:14:16 +02:00

..

ISSUE_TEMPLATE

github: add question issue template

2021-03-06 14:20:03 +01:00

workflows

codecov: migrate to new uploader

2021-10-14 07:14:16 +02:00