programming team code CI

Merge branch 'dev' into example_init_files_not_in_pdf #1825

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build_ptc	1m 44s
clangtidy	8m 50s
check_format_lint	35s
compile_clang	1m 53s
compile_gcc	1m 5s
files_without_tests	13s
library_checker_aizu	27s
shellcheck_shfmt	9s
publish_ptc	0s
update_main	0s
	14m 56s