CI: remove redundant workaround

The `ubuntu-18.04` was updated to version 20210510 which means the workaround is no longer needed.
gap-system · May 14, 2021 · 1dc1f81 · 1dc1f81
1 parent 977b868
commit 1dc1f81
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
@@ -199,7 +199,6 @@ jobs:
                        packages+=(gcc-multilib g++-multilib)
                    fi
                    sudo apt-get update
-                   sudo apt-get remove libzmq5 || : # workaround https://github.com/actions/virtual-environments/issues/3317
                    sudo apt-get install "${packages[@]}"
                elif [ "$RUNNER_OS" == "macOS" ]; then
                    brew install gmp zlib