programming team code CI

Merge branch 'dev' into kd_bit #2417

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
find_files_without_tests	16s
library_checker_aizu	1m 9s
compile_gcc	1m 27s
build_pdf	3m 9s
grep_clangformat_cppcheck	40s
compile_clang	3m 2s
clangtidy	16m 4s
shellcheck_shfmt	14s
publish_pdf	0s
update_main	0s
	26m 1s