programming team code CI

no longer allow github CLI to start CI as I no longer use the CLI #1824

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build_ptc	2m 11s
compile_clang	1m 51s
check_format_lint	33s
clangtidy	9m 12s
compile_gcc	1m 6s
files_without_tests	13s
library_checker_aizu	26s
shellcheck_shfmt	17s
update_main	36s
publish_ptc	7s
	16m 32s