ci

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
analysis (autotools)	38s
analysis (clang-tidy)	31s
cimplefmt	8s
analysis (compcert)	28s
coverage-linux	49s
analysis (cppcheck)	28s
generate-events	16s
analysis (doxygen)	27s
sanitizer (asan)	5s
sanitizer (tsan)	4s
analysis (goblint)	24s
build-android	48s
sanitizer (ubsan)	5s
analysis (infer)	2m 8s
build-freebsd	36s
build-macos	54s
analysis (freebsd)	26s
analysis (misra)	23s
analysis (modules)	20s
build-netbsd	37s
build-windows-msvc (2019)	36s
analysis (pkgsrc)	14s
build-windows-msvc (2022)	35s
analysis (rpm)	1s
mypy	12s
analysis (slimcc)	1s
analysis (sparse)	1s
analysis (tcc)	1s
analysis (tokstyle)	1s
common / buildifier	1s
common / restyled	1s
	12m 19s