programming team code CI

Merge branch 'dev' into ds_reorg #2222

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
grep_clangformat_cppcheck	34s
find_files_without_tests	17s
library_checker_aizu	26s
clangtidy	33s
build_pdf	34s
compile_clang	25s
compile_gcc	34s
shellcheck_shfmt	10s
update_main	1s
publish_pdf	1s
	3m 35s