Skip to content

Merge branch 'add_grep' of github.com:programming-team-code/programmi… #1989

Merge branch 'add_grep' of github.com:programming-team-code/programmi…

Merge branch 'add_grep' of github.com:programming-team-code/programmi… #1989

Triggered via push June 25, 2025 21:02
Status Cancelled
Total duration 2m 40s
Artifacts
update_main
0s
update_main
publish_ptc
0s
publish_ptc
Fit to window
Zoom out
Zoom in

Annotations

8 errors
library_checker_aizu
The run was canceled by @lrvideckis.
build_ptc
The operation was canceled.
build_ptc
The run was canceled by @lrvideckis.
compile_clang
The operation was canceled.
compile_clang
The run was canceled by @lrvideckis.
clangtidy
The operation was canceled.
clangtidy
The run was canceled by @lrvideckis.
programming team code CI
The run was canceled by @lrvideckis.