programming team code CI

Merge branch 'dev' into mint_split_up #1512

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check_format_lint	20s
compile_clang	20s
build_ptc	19s
clangtidy	21s
compile_gcc17	21s
compile_gcc20	21s
files_without_tests	11s
library_checker_aizu	13s
shellcheck_shfmt	13s
publish_ptc	1s
update_main	1s
	2m 41s