programming team code CI

Merge branch 'dev' into golf_scc #1770

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check_format_lint	29s
build_ptc	2m 5s
compile_clang	2m 20s
clangtidy	2m 21s
compile_gcc	1m 11s
files_without_tests	14s
library_checker_aizu	2m 20s
shellcheck_shfmt	8s
publish_ptc	1s
update_main	1s
	11m 10s