Skip to content

Merge branch 'dev' into remove-some-docs #2247

Merge branch 'dev' into remove-some-docs

Merge branch 'dev' into remove-some-docs #2247

Triggered via push January 18, 2026 11:15
Status Cancelled
Total duration 53s
Artifacts
library_checker_aizu
48s
library_checker_aizu
grep_clangformat_cppcheck
38s
grep_clangformat_cppcheck
clangtidy
42s
clangtidy
compile_gcc
49s
compile_gcc
compile_clang
49s
compile_clang
find_files_without_tests
14s
find_files_without_tests
build_pdf
49s
build_pdf
shellcheck_shfmt
12s
shellcheck_shfmt
update_main
0s
update_main
publish_pdf
0s
publish_pdf
Fit to window
Zoom out
Zoom in

Annotations

13 errors
grep_clangformat_cppcheck
The run was canceled by @lrvideckis.
grep_clangformat_cppcheck
The operation was canceled.
clangtidy
The run was canceled by @lrvideckis.
clangtidy
The operation was canceled.
library_checker_aizu
The run was canceled by @lrvideckis.
library_checker_aizu
The operation was canceled.
compile_clang
The run was canceled by @lrvideckis.
compile_clang
The operation was canceled.
compile_gcc
The run was canceled by @lrvideckis.
compile_gcc
The operation was canceled.
build_pdf
The run was canceled by @lrvideckis.
build_pdf
The operation was canceled.
programming team code CI
The run was canceled by @lrvideckis.