diff options
Diffstat (limited to 'util')
-rw-r--r-- | util/ci/common.sh | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/util/ci/common.sh b/util/ci/common.sh index f9df54c4a..2802a004a 100644 --- a/util/ci/common.sh +++ b/util/ci/common.sh @@ -17,9 +17,6 @@ install_linux_deps() { sudo apt-get update sudo apt-get install -y --no-install-recommends ${pkgs[@]} "$@" - - # workaround for bug with Github Actions' ubuntu-18.04 image - sudo apt-get remove -y libgcc-11-dev gcc-11 || : } # Mac OSX build only |