ci

chore: Add GitHub CodeQL workflow and local Docker runner. #7006

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coverage-linux	3m 0s
build-macos	2m 15s
build-windows-msvc (2022)	9m 56s
mypy	15s
sanitizer (tsan)	1m 56s
sanitizer (asan)	2m 12s
build-windows-msvc (2025)	11m 52s
build-netbsd	2m 47s
build-freebsd	3m 8s
sanitizer (ubsan)	5m 52s
common / buildifier	4s
common / restyled	14s
analysis (sparse)	1m 18s
analysis (misra)	54s
analysis (clang-tidy)	3m 14s
analysis (compcert)	1m 30s
analysis (cppcheck)	1m 18s
analysis (autotools)	1m 47s
analysis (pkgsrc)	3m 42s
analysis (doxygen)	57s
analysis (tcc)	27s
analysis (modules)	32s
analysis (slimcc)	39s
analysis (infer)	2m 2s
analysis (rpm)	1m 43s
analysis (tokstyle)	36s
coverage-linux	4m 11s
common / buildifier	4s
sanitizer (asan)	2m 12s
common / restyled	14s
build-windows-msvc (2022)	9m 56s
sanitizer (tsan)	1m 56s
analysis (misra)	54s
build-macos	2m 15s
analysis (cppcheck)	1m 18s
analysis (infer)	2m 2s
analysis (doxygen)	57s
analysis (pkgsrc)	3m 42s
analysis (sparse)	1m 18s
analysis (modules)	32s
analysis (slimcc)	39s
analysis (tcc)	27s
analysis (rpm)	1m 43s
analysis (tokstyle)	36s
build-netbsd	2m 47s
sanitizer (ubsan)	5m 52s
build-windows-msvc (2025)	11m 52s
analysis (clang-tidy)	3m 14s
build-freebsd	3m 8s
mypy	15s
analysis (compcert)	1m 30s
analysis (autotools)	1m 47s
	2h 9m 31s