programming team code CI

Merge branch 'dev' into self_to_dfs #2563

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build_pdf	13s
library_checker_aizu	4s
grep_clangformat_cppcheck	15s
find_files_without_tests	13s
compile_clang	16s
clangtidy	14s
compile_gcc	3s
shellcheck_shfmt	3s
publish_pdf	1s
update_main	1s
	1m 23s