programming team code CI

Merge remote-tracking branch 'origin/dev' into fix-ci-incremental-verify #2748

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
grep_clangformat_cppcheck	55s
clangtidy	3m 54s
compile_clang	3m 41s
build_pdf	2m 25s
find_files_without_tests	14s
shellcheck_shfmt	9s
library_checker_aizu	44s
compile_gcc	2m 0s
update_main	0s
publish_pdf	0s
	14m 2s