Philip H c361842f14 patch 9.0.0277: Coverity CI: update-alternatives not needed with Ubuntu 20.04 ...

Problem:    Coverity CI: update-alternatives not needed with Ubuntu 20.04.
Solution:   Remove update-alternatives for Lua. (closes #10987)

2022-08-26 15:48:55 +01:00

..

ci.yml

patch 9.0.0264: CI still runs on Ubuntu 18.04

2022-08-25 15:21:24 +01:00

codeql-analysis.yml

patch 8.2.5052: CI checkout step title is a bit cryptic

2022-06-01 21:26:34 +01:00

coverity.yml

patch 9.0.0277: Coverity CI: update-alternatives not needed with Ubuntu 20.04

2022-08-26 15:48:55 +01:00