programming team code CI

Merge branch 'dev' into adj_to_g #2559

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
clangtidy	16m 32s
build_pdf	2m 52s
find_files_without_tests	13s
compile_gcc	1m 32s
grep_clangformat_cppcheck	44s
compile_clang	2m 29s
shellcheck_shfmt	9s
library_checker_aizu	1h 18m 15s
update_main	-1s
publish_pdf	-1s
	1h 42m 44s