Skip to content

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

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

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

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

Annotations

2 errors
check_format_lint
Process completed with exit code 2.
build_ptc
Process completed with exit code 2.