ci

chore: Fix tsan build by moving it to github ci. #5876

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
analysis (autotools)	19s
cimplefmt	9s
coverage-linux	31s
analysis (clang-tidy)	20s
analysis (compcert)	19s
analysis (cppcheck)	18s
generate-events	24s
analysis (doxygen)	2s
analysis (goblint)	1s
build-android	31s
build-freebsd	19s
analysis (infer)	1s
analysis (freebsd)	2s
build-macos	34s
analysis (misra)	1s
build-netbsd	19s
analysis (modules)	1s
analysis (pkgsrc)	1s
build-windows-msvc (2019)	1s
mypy	13s
analysis (rpm)	1s
build-windows-msvc (2022)	1s
analysis (slimcc)	1s
analysis (sparse)	1s
analysis (tcc)	1s
analysis (tokstyle)	1s
common / buildifier	1s
common / restyled	1s
	4m 34s