Skip to content

Merge branch 'add_cuts_callback' of github.com:programming-team-code/… #1939

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

Merge branch 'add_cuts_callback' of github.com:programming-team-code/… #1939

Triggered via push June 23, 2025 09:37
Status Failure
Total duration 15m 0s
Artifacts
update_main
0s
update_main
publish_ptc
0s
publish_ptc
Fit to window
Zoom out
Zoom in

Annotations

2 errors
library_checker_aizu
Process completed with exit code 1.
build_ptc
Process completed with exit code 2.