programming team code CI

Merge branch 'dev' into templatized_graph_algs #1744

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check_format_lint	35s
build_ptc	1m 17s
clangtidy	8m 35s
compile_clang	2m 6s
compile_gcc	1m 7s
files_without_tests	13s
library_checker_aizu	19m 2s
shellcheck_shfmt	9s
update_main	1s
publish_ptc	1s
	33m 6s