r3/.github/workflows
Björn Svensson 58d8b0c028 Use coverity-scan-action in CI
Simplifies the CI job and adds a cache to avoid downloading the 1GB+
tool archive on every run.
See: https://github.com/vapier/coverity-scan-action

Only run this job when a commit is pushed to the default branch 2.0
(like when a PR is merged) since the required Coverity token/secret
is not available when this job is triggered by forks.
2023-10-23 10:35:38 +02:00
..
ci.yml Use recommended Coveralls GitHub action in CI 2021-10-19 11:18:53 +02:00
coverity.yml Use coverity-scan-action in CI 2023-10-23 10:35:38 +02:00