Skip to content

Exit immediately if there's nothing to do - #12

Merged
tucked merged 1 commit into
mainfrom
fast-no-op
May 5, 2026
Merged

Exit immediately if there's nothing to do#12
tucked merged 1 commit into
mainfrom
fast-no-op

Commits

Commits on May 5, 2026