Drop ppa:ubuntu-toolchain-r/test — Launchpad flake on CI#34

bjjwwang merged 1 commit into

SVF-tools:mainSVF-tools/Teaching-Software-Verification:mainfrom

bjjwwang:fix/drop-ubuntu-toolchain-r-ppabjjwwang/Teaching-Software-Verification:fix/drop-ubuntu-toolchain-r-ppaCopy head branch name to clipboard