push
github
Revert "[to be reverted] coverity_scan.yml: temporarily disable weekly scans so the scan of the miramon branch remains active some time" This reverts commit 802166606. Fixes #9622
527329 of 764800 relevant lines covered (68.95%)
329824.88 hits per line