programming team code CI

Merge branch 'dev' into remove-some-docs #2247

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
clangtidy	42s
compile_clang	49s
find_files_without_tests	14s
compile_gcc	49s
grep_clangformat_cppcheck	38s
library_checker_aizu	48s
build_pdf	49s
shellcheck_shfmt	12s
update_main	1s
publish_pdf	1s
	5m 3s