ichizok 0d47ad4027 patch 8.2.4061: codecov bash script is deprecated ...

Problem:    Codecov bash script is deprecated.
Solution:   Use the codecov action. (Ozaki Kiichi, closes #9505)

2022-01-11 13:05:26 +00:00

..

ISSUE_TEMPLATE

patch 8.2.3827: huntr badge does not really fit in the list

2021-12-16 16:14:11 +00:00

workflows

patch 8.2.4061: codecov bash script is deprecated

2022-01-11 13:05:26 +00:00

CODEOWNERS

Update runtime files

2021-12-16 14:41:10 +00:00

FUNDING.yml

patch 8.1.1370: not using the new github feature for donations

2019-05-23 20:42:10 +02:00