programming team code CI

Merge branch 'dev' into tree_reorg #2094

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
library_checker_aizu	21s
grep_clangformat_cppcheck	26s
clangtidy	26s
shellcheck_shfmt	26s
compile_gcc	27s
build_pdf	26s
compile_clang	26s
find_files_without_tests	15s
publish_pdf	1s
update_main	1s
	3m 15s