ci

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coverage-linux	1m 11s
build-android	1m 9s
build-netbsd	56s
build-macos	1m 11s
analysis (autotools)	52s
build-windows-msvc (2019)	55s
analysis (clang-tidy)	42s
build-windows-msvc (2022)	57s
analysis (compcert)	44s
cimplefmt	10s
analysis (cppcheck)	27s
generate-events	25s
analysis (doxygen)	40s
analysis (goblint)	1s
build-freebsd	50s
analysis (infer)	1s
analysis (freebsd)	21s
mypy	11s
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
	11m 53s