Skip to content

Merge branch 'dev' into ds_reorg #2222

Merge branch 'dev' into ds_reorg

Merge branch 'dev' into ds_reorg #2222

Triggered via push January 18, 2026 02:20
Status Cancelled
Total duration 37s
Artifacts
library_checker_aizu
26s
library_checker_aizu
grep_clangformat_cppcheck
34s
grep_clangformat_cppcheck
clangtidy
33s
clangtidy
compile_gcc
34s
compile_gcc
compile_clang
25s
compile_clang
find_files_without_tests
17s
find_files_without_tests
build_pdf
34s
build_pdf
shellcheck_shfmt
10s
shellcheck_shfmt
update_main
0s
update_main
publish_pdf
publish_pdf
Fit to window
Zoom out
Zoom in

Annotations

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