ci

chore: Add check to ensure version numbers agree. #5737

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
analysis (autotools)	1m 43s
analysis (clang-tidy)	2m 32s
analysis (compcert)	1m 30s
analysis (cppcheck)	1m 10s
analysis (doxygen)	43s
analysis (goblint)	21s
analysis (infer)	1m 54s
analysis (freebsd)	11m 38s
analysis (misra)	1m 3s
analysis (modules)	47s
analysis (pkgsrc)	2m 50s
analysis (rpm)	1m 32s
analysis (slimcc)	27s
build-android	3m 4s
analysis (sparse)	1m 7s
build-freebsd	3m 13s
analysis (tcc)	40s
build-macos	1m 44s
analysis (tokstyle)	35s
build-netbsd	3m 37s
build-windows-msvc (2019)	6m 34s
cimplefmt	9s
build-windows-msvc (2022)	4m 22s
coverage-linux	6m 21s
generate-events	21s
mypy	11s
common / buildifier	7s
common / restyled	8s
	1h 0m 23s