James McCoy eed9616120 patch 8.2.3319: Coverity action on github does not work ...

Problem:    Coverity action on github does not work.
Solution:   Remove undefined $SRCDIR. (James McCoy, closes #8739)

2021-08-09 13:20:38 +02:00

..

ISSUE_TEMPLATE

Update feature_request.md

2020-05-17 15:17:26 +02:00

workflows

patch 8.2.3319: Coverity action on github does not work

2021-08-09 13:20:38 +02:00

CODEOWNERS

Update runtime files

2021-07-28 20:10:16 +02:00

FUNDING.yml

patch 8.1.1370: not using the new github feature for donations

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