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)
diff --git a/.github/workflows/coverity.yml b/.github/workflows/coverity.yml
index 566ab5b..9771ae4 100644
--- a/.github/workflows/coverity.yml
+++ b/.github/workflows/coverity.yml
@@ -50,12 +50,6 @@
echo "CONFOPT=--enable-perlinterp --enable-pythoninterp --enable-python3interp --enable-rubyinterp --enable-luainterp --enable-tclinterp"
) >> $GITHUB_ENV
- - name: Set up system
- run: |
- # Setup lua5.3 manually since its package doesn't provide alternative.
- # https://bugs.launchpad.net/ubuntu/+source/lua5.3/+bug/1707212
- sudo update-alternatives --install /usr/bin/lua lua /usr/bin/lua5.3 10
-
- name: Configure
run: |
./configure --with-features=huge ${CONFOPT} --enable-fail-if-missing
diff --git a/src/version.c b/src/version.c
index a0a7210..1fd798b 100644
--- a/src/version.c
+++ b/src/version.c
@@ -724,6 +724,8 @@
static int included_patches[] =
{ /* Add new patch number below this line */
/**/
+ 277,
+/**/
276,
/**/
275,