log .github/workflows/coverity.yml @ 26490:cd452f46085e v8.2.3775

age author description
Mon, 09 Aug 2021 13:30:04 +0200 Bram Moolenaar patch 8.2.3319: Coverity action on github does not work v8.2.3319
Sat, 07 Aug 2021 12:45:04 +0200 Bram Moolenaar patch 8.2.3302: Coverity is not run from github v8.2.3302