srctree

Robin Linden parent 4c833f68 cc6071d2
ci: Drop now-superfluous gcc 13 matrix job

inlinesplit
.github/workflows/ci.yaml added: 1, removed: 7, total 0
@@ -26,12 +26,6 @@ jobs:
bazel: --test_timeout=120 --run_under="valgrind --leak-check=full --errors-for-leak-kinds=all --error-exitcode=1 --track-origins=yes --show-leak-kinds=all"
apt: g++-12 valgrind
 
- name: gcc-13
os: ubuntu-22.04
compiler: gcc
version: 13
apt: g++-13
 
- name: clang-14-tsan
os: ubuntu-22.04
compiler: clang