ci

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
generate-events	23s
build-android	2m 5s
cimplefmt	8s
analysis (autotools)	1m 54s
coverage-linux	2m 13s
build-freebsd	2m 0s
analysis (clang-tidy)	1m 57s
build-macos	2m 13s
build-netbsd	2m 0s
analysis (compcert)	1m 26s
analysis (cppcheck)	1m 7s
build-windows-msvc (2019)	2m 0s
analysis (doxygen)	53s
build-windows-msvc (2022)	2m 4s
mypy	11s
analysis (goblint)	22s
analysis (infer)	1m 2s
analysis (freebsd)	1m 32s
analysis (misra)	41s
analysis (modules)	39s
analysis (pkgsrc)	30s
analysis (rpm)	30s
analysis (slimcc)	19s
analysis (sparse)	22s
analysis (tcc)	1s
analysis (tokstyle)	1s
common / restyled	1s
common / buildifier	1s
	28m 35s