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

..

ci.yml

patch 8.2.3891: github CI: workflows may overlap

2021-12-25 11:20:30 +00:00

codeql-analysis.yml

patch 8.2.3891: github CI: workflows may overlap

2021-12-25 11:20:30 +00:00

coverity.yml

patch 8.2.3319: Coverity action on github does not work

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