CI: workaround failure to install libzmq3-dev

See actions/runner-images#3317 for details
gap-system · May 7, 2021 · ed097a2 · ed097a2
1 parent 12c3bac
commit ed097a2
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
@@ -186,6 +186,7 @@ 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