Skip to content

[Rule] SteinerTree to SAT #153

[Rule] SteinerTree to SAT

[Rule] SteinerTree to SAT #153

Triggered via issue March 1, 2026 10:28
@zazabapzazabap
commented on #124 6d083f4
Status Skipped
Total duration 1s
Artifacts

pr-automation.yml

on: issue_comment
pr-automation  /  setup
pr-automation / setup
pr-automation  /  execute
pr-automation / execute
Fit to window
Zoom out
Zoom in