Philip H 490ac3fe98 patch 8.2.4816: still using older codecov app in some places of CI ...

Problem:    Still using older codecov app in some places of CI.
Solution:   Use v3.1.0. (closes #10209)

2022-04-24 12:44:32 +01:00

..

ci.yml

patch 8.2.4816: still using older codecov app in some places of CI

2022-04-24 12:44:32 +01: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