srctree

Robin Linden parent 54a9634d 0dfddf88
ci: Drop no-longer-needed workaround for Clang+libstdc++-incompatibility

This was forgotten in 0aa1a54dd004b582e1a99a0590e53dd1c790b714.

inlinesplit
.github/workflows/ci.yaml added: 1, removed: 5, total 0
@@ -153,10 +153,6 @@ jobs:
sudo apt-get install --no-install-recommends lcov clang-${{ matrix.version }} libclang-rt-${{ matrix.version }}-dev llvm-${{ matrix.version }}
echo "CC=clang-16" >> $GITHUB_ENV
echo "CXX=clang++-16" >> $GITHUB_ENV
# See: https://github.com/actions/runner-images/issues/8659
sudo rm -f /etc/apt/sources.list.d/ubuntu-toolchain-r-ubuntu-test-jammy.list
sudo apt-get update
sudo apt-get install --allow-downgrades libstdc++6=12.3.0-1ubuntu1~22.04 libgcc-s1=12.3.0-1ubuntu1~22.04
- name: Coverage
run: bazel coverage ... ${{ matrix.bazel }}
- name: Summary