Skip to content

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

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

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

Triggered via push June 23, 2025 08:33
Status Success
Total duration 15m 4s
Artifacts 1
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
ptc Expired
363 KB
sha256:48cebe2fdd0bb48ebf89ac88b4d780860508ee01f02a2ac56ed96579762b6392