programming team code CI

Merge branch 'dev' into remove_bit_walk #2758

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
clangtidy	53s
shellcheck_shfmt	9s
compile_gcc	54s
compile_clang	53s
grep_clangformat_cppcheck	43s
library_checker_aizu	53s
find_files_without_tests	17s
build_pdf	43s
update_main	1s
publish_pdf	1s
	5m 27s