programming team code CI

Merge branch 'dev' into choose_nit #1838

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build_ptc	2m 8s
check_format_lint	39s
compile_clang	1m 55s
clangtidy	5m 27s
compile_gcc	1m 5s
files_without_tests	11s
library_checker_aizu	2m 58s
shellcheck_shfmt	8s
update_main	1s
publish_ptc	1s
	14m 33s