ci

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
generate-events	21s
build-android	2m 50s
build-freebsd	3m 23s
analysis (autotools)	1m 59s
build-macos	1m 36s
build-windows-msvc (2019)	7m 36s
analysis (clang-tidy)	2m 36s
build-windows-msvc (2022)	4m 22s
cimplefmt	13s
analysis (compcert)	1m 37s
analysis (cppcheck)	1m 5s
coverage-linux	6m 57s
analysis (doxygen)	48s
mypy	12s
analysis (goblint)	26s
analysis (infer)	1m 44s
build-netbsd	3m 54s
analysis (freebsd)	8m 59s
analysis (misra)	50s
analysis (modules)	52s
analysis (pkgsrc)	2m 55s
analysis (rpm)	1m 45s
analysis (slimcc)	28s
analysis (sparse)	1m 12s
analysis (tcc)	43s
analysis (tokstyle)	49s
common / buildifier	3s
common / restyled	10s
	1h 0m 25s