ci

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
analysis (autotools)	1m 42s
analysis (clang-tidy)	2m 28s
analysis (compcert)	1m 35s
analysis (cppcheck)	1m 9s
analysis (doxygen)	54s
build-android	2m 47s
analysis (goblint)	21s
analysis (infer)	1m 46s
build-macos	1m 28s
analysis (freebsd)	11m 36s
analysis (misra)	55s
build-netbsd	3m 36s
analysis (modules)	48s
build-windows-msvc (2019)	9m 46s
analysis (pkgsrc)	2m 58s
build-windows-msvc (2022)	8m 38s
cimplefmt	9s
analysis (rpm)	1m 29s
analysis (slimcc)	42s
coverage-linux	6m 34s
generate-events	18s
analysis (sparse)	1m 16s
build-freebsd	4m 46s
analysis (tcc)	34s
mypy	13s
analysis (tokstyle)	34s
common / restyled	6s
common / buildifier	3s
	1h 9m 11s