ci

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
analysis (autotools)	1m 18s
analysis (clang-tidy)	1m 18s
analysis (compcert)	1m 19s
analysis (cppcheck)	1m 2s
build-android	1m 31s
build-macos	1m 33s
analysis (doxygen)	50s
cimplefmt	10s
analysis (goblint)	24s
analysis (infer)	14s
generate-events	20s
coverage-linux	1m 30s
analysis (freebsd)	53s
analysis (misra)	16s
analysis (modules)	1s
build-freebsd	1m 18s
build-netbsd	1m 24s
analysis (pkgsrc)	1s
analysis (rpm)	1s
build-windows-msvc (2019)	1m 6s
analysis (slimcc)	1s
mypy	11s
analysis (sparse)	1s
build-windows-msvc (2022)	1m 9s
analysis (tcc)	1s
analysis (tokstyle)	1s
common / buildifier	1s
common / restyled	1s
	17m 55s