programming team code CI

change timeout to 15 minutes as the github CI is cutting the job after #2047

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
grep_clangformat_cppcheck	1m 36s
library_checker_aizu	15m 35s
clangtidy	16m 21s
build_pdf	3m 41s
shellcheck_shfmt	15s
compile_gcc	1m 30s
find_files_without_tests	12s
compile_clang	2m 56s
update_main	2m 0s
publish_pdf	9s
	44m 15s