build: Fix detect_odr_violation not being enabled #5005
robinlindenci.yaml
on: pull_request
linux-aarch64-muslc
10m 58s
wasi-wasm
3m 36s
windows-msvc
14m 1s
windows-clang-cl
16m 32s
pre-commit
16s
clang-format
10s
clang-tidy
28m 30s
buildifier
3s
prettier
10s
shfmt
3s
link-liveness
36s
gitlint
4s
ruff
9s
mypy
7s
Matrix: coverage
Matrix: linux-ci
Matrix: macos