Skip to content

feat(Tactic): add sum-of-squares tactic #5570

feat(Tactic): add sum-of-squares tactic

feat(Tactic): add sum-of-squares tactic #5570

Triggered via pull request August 2, 2026 10:33
Status Success
Total duration 22s
Artifacts

actionlint.yml

on: pull_request
actionlint
19s
actionlint
ensure-sha-pinned-actions
14s
ensure-sha-pinned-actions
Fit to window
Zoom out
Zoom in