Skip to content

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

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

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

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

Artifacts

Produced during runtime
Name Size Digest
ptc Expired
363 KB
sha256:756fbffd004190ebf4911271207d46fc2f7cb42aea46b914721d249c627f9f81