ci

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-macos	1m 37s
analysis (autotools)	1m 45s
build-android	1m 49s
analysis (clang-tidy)	1m 27s
build-freebsd	1m 46s
analysis (compcert)	1m 21s
analysis (cppcheck)	1m 12s
build-windows-msvc (2019)	1m 42s
cimplefmt	9s
analysis (doxygen)	47s
build-netbsd	1m 46s
build-windows-msvc (2022)	1m 48s
analysis (goblint)	21s
analysis (infer)	33s
coverage-linux	1m 58s
generate-events	16s
analysis (freebsd)	1m 25s
analysis (misra)	32s
mypy	12s
analysis (modules)	21s
analysis (pkgsrc)	12s
analysis (rpm)	8s
analysis (slimcc)	6s
analysis (sparse)	1s
analysis (tcc)	1s
analysis (tokstyle)	1s
common / buildifier	1s
common / restyled	1s
	23m 18s