programming team code CI

Merge branch 'dev' into another_scc_golf #1789

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
clangtidy	19s
check_format_lint	17s
build_ptc	17s
compile_clang	18s
compile_gcc	18s
files_without_tests	14s
library_checker_aizu	9s
shellcheck_shfmt	7s
publish_ptc	1s
update_main	1s
	2m 1s