programming team code CI

Merge branch 'dev' into golf #2383

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
compile_clang	25s
shellcheck_shfmt	10s
clangtidy	28s
grep_clangformat_cppcheck	28s
build_pdf	29s
find_files_without_tests	17s
compile_gcc	29s
library_checker_aizu	5s
update_main	1s
publish_pdf	1s
	2m 53s