programming team code CI

Merge branch 'dev' into tree_reorg #2157

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
grep_clangformat_cppcheck	22s
clangtidy	23s
shellcheck_shfmt	23s
library_checker_aizu	15s
build_pdf	22s
find_files_without_tests	12s
compile_clang	24s
compile_gcc	22s
update_main	1s
publish_pdf	1s
	2m 45s