Skip to content

Make a halt record itself as a halt, not as a completion - #254

Merged
Antawari merged 5 commits into
mainfrom
catrina/a-failure-is-not-a-completion
Jul 28, 2026
Merged

Make a halt record itself as a halt, not as a completion#254
Antawari merged 5 commits into
mainfrom
catrina/a-failure-is-not-a-completion

Commits

Commits on Jul 28, 2026