programming team code CI

add gitgud (#129) #1894

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check_format_lint	47s
library_checker_aizu	31s
clangtidy	14m 51s
shellcheck_shfmt	14s
compile_clang	3m 28s
build_ptc	2m 59s
compile_gcc	1m 20s
files_without_tests	12s
update_main	44s
publish_ptc	10s
	25m 16s