ci

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
analysis (autotools)	1m 52s
coverage-linux	5m 48s
analysis (clang-tidy)	2m 39s
analysis (compcert)	1m 20s
generate-events	17s
analysis (cppcheck)	1m 15s
analysis (doxygen)	49s
analysis (goblint)	22s
build-android	2m 41s
analysis (infer)	1m 50s
analysis (freebsd)	4m 41s
build-freebsd	5m 41s
analysis (misra)	57s
analysis (modules)	54s
analysis (pkgsrc)	2m 56s
build-macos	1m 27s
analysis (rpm)	4m 3s
analysis (slimcc)	27s
build-netbsd	3m 39s
analysis (sparse)	1m 1s
build-windows-msvc (2019)	4m 31s
analysis (tcc)	43s
build-windows-msvc (2022)	4m 18s
analysis (tokstyle)	34s
cimplefmt	9s
mypy	14s
common / buildifier	8s
common / restyled	15s
	55m 31s