programming team code CI

Merge branch 'dev' into ten_second_time_limit #1791

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build_ptc	1m 45s
clangtidy	1m 59s
compile_clang	1m 56s
check_format_lint	30s
files_without_tests	14s
library_checker_aizu	27s
compile_gcc	1m 10s
shellcheck_shfmt	18s
update_main	1s
publish_ptc	1s
	8m 21s