Skip to content

Make succeed()/failure() primary#2125

Merged
hadley merged 6 commits intomainfrom
succeed-fail
Jul 28, 2025
Merged

Make `succeed()`/`failure()` primary#2125
hadley merged 6 commits intomainfrom
succeed-fail

Commits

Commits on Jul 28, 2025