Yegappan Lakshmanan 7f4a628efe patch 8.2.3891: github CI: workflows may overlap ...

Problem:    Github CI: workflows may overlap.
Solution:   Cancel previous workflows when starting a new one. (Yegappan
            Lakshmanan, closes #9400)

2021-12-25 11:20:30 +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.3891: github CI: workflows may overlap

2021-12-25 11:20:30 +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