programming team code CI

Merge branch 'dev' into move_unused_tree_stuff_to_test #2468

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
grep_clangformat_cppcheck	47s
build_pdf	2m 38s
library_checker_aizu	3m 32s
find_files_without_tests	14s
shellcheck_shfmt	9s
clangtidy	3m 33s
compile_gcc	1m 29s
compile_clang	2m 53s
update_main	1s
publish_pdf	1s
	15m 17s