| Fri, 21 Apr 2023 21:00:04 +0200 |
Bram Moolenaar |
patch 9.0.1474: CI runs with old version of Ubuntu and tools
v9.0.1474
|
| Fri, 25 Nov 2022 02:00:04 +0100 |
Bram Moolenaar |
patch 9.0.0946: CI: Error in Coverity flow is not reported
v9.0.0946
|
| Thu, 24 Nov 2022 13:15:02 +0100 |
Bram Moolenaar |
patch 9.0.0937: forked repositories send out useless email
v9.0.0937
|
| Mon, 26 Sep 2022 17:00:03 +0200 |
Bram Moolenaar |
patch 9.0.0593: CI actions have too many permissions
v9.0.0593
|
| Sun, 28 Aug 2022 19:00:10 +0200 |
Bram Moolenaar |
patch 9.0.0302: CI for Coverity is bothered by deprecation warnings
v9.0.0302
|
| Fri, 26 Aug 2022 17:00:04 +0200 |
Bram Moolenaar |
patch 9.0.0277: Coverity CI: update-alternatives not needed with Ubuntu 20.04
v9.0.0277
|
| Thu, 25 Aug 2022 17:30:05 +0200 |
Bram Moolenaar |
patch 9.0.0267: Coverity workflow still uses Ubuntu 18.04
v9.0.0267
|
| Wed, 01 Jun 2022 22:30:03 +0200 |
Bram Moolenaar |
patch 8.2.5052: CI checkout step title is a bit cryptic
v8.2.5052
|
| Fri, 20 May 2022 18:30:03 +0200 |
Bram Moolenaar |
patch 8.2.4986: some github actions are outdated
v8.2.4986
|
| 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
|
