ci

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
cimplefmt	9s
coverage-linux	1m 0s
generate-events	23s
analysis (autotools)	37s
build-android	54s
build-freebsd	48s
analysis (clang-tidy)	46s
build-macos	1m 4s
analysis (compcert)	38s
build-netbsd	46s
analysis (cppcheck)	31s
build-windows-msvc (2019)	45s
analysis (doxygen)	27s
build-windows-msvc (2022)	45s
mypy	11s
analysis (goblint)	1s
analysis (infer)	1s
analysis (freebsd)	26s
analysis (misra)	1s
analysis (modules)	1s
analysis (pkgsrc)	1s
analysis (rpm)	1s
analysis (slimcc)	1s
analysis (sparse)	1s
analysis (tcc)	1s
analysis (tokstyle)	1s
common / buildifier	1s
common / restyled	1s
	10m 22s