ci

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coverage-linux	4m 36s
build-android	2m 38s
analysis (autotools)	1m 58s
build-freebsd	3m 29s
build-macos	1m 50s
build-netbsd	3m 58s
build-windows-msvc (2019)	4m 7s
cimplefmt	8s
analysis (clang-tidy)	2m 40s
build-windows-msvc (2022)	3m 54s
generate-events	20s
analysis (compcert)	1m 23s
mypy	11s
analysis (cppcheck)	1m 8s
analysis (doxygen)	46s
analysis (goblint)	32s
analysis (infer)	1m 49s
analysis (freebsd)	3m 53s
analysis (misra)	57s
analysis (modules)	55s
analysis (pkgsrc)	2m 53s
analysis (rpm)	2m 11s
analysis (slimcc)	35s
analysis (sparse)	1m 8s
analysis (tcc)	42s
analysis (tokstyle)	32s
common / buildifier	4s
common / restyled	15s
	49m 32s