Name carry()'s retry condition and what ends its loop #39

Merged
lilleman merged 4 commits from name-past-drain into main 2026-09-28 02:00:33 +02:00

4 Commits

Author SHA1 Message Date
lilleman 30245bda21 Move the gate's teardown invariant to retrying()
Test / lint (pull_request) Successful in 23s
Test / test (18) (pull_request) Successful in 32s
Test / test (20) (pull_request) Successful in 31s
Test / test (22) (pull_request) Successful in 32s
Test / test (24) (pull_request) Successful in 31s
Test / test (26) (pull_request) Successful in 31s
Mirror / push (push) Has been cancelled
2026-09-28 01:50:33 +02:00
lilleman 5e132977f4 Reflow the gate decision after the rename
Mirror / push (push) Has been cancelled
Test / test (18) (pull_request) Successful in 32s
Test / test (20) (pull_request) Successful in 31s
Test / test (26) (pull_request) Successful in 32s
Test / lint (pull_request) Successful in 23s
Test / test (22) (pull_request) Successful in 31s
Test / test (24) (pull_request) Successful in 31s
2026-09-28 01:48:32 +02:00
lilleman 669cbde9d0 Drop carry()'s misstated exit line
Mirror / push (push) Has been cancelled
Test / test (18) (pull_request) Successful in 32s
Test / test (26) (pull_request) Successful in 31s
Test / lint (pull_request) Successful in 23s
Test / test (20) (pull_request) Successful in 31s
Test / test (22) (pull_request) Successful in 34s
Test / test (24) (pull_request) Successful in 31s
2026-09-28 01:48:02 +02:00
lilleman 696562daec Name carry()'s retry condition and what ends its loop
Test / lint (pull_request) Successful in 23s
Mirror / push (push) Has been cancelled
Test / test (22) (pull_request) Successful in 32s
Test / test (24) (pull_request) Successful in 31s
Test / test (18) (pull_request) Successful in 31s
Test / test (20) (pull_request) Successful in 30s
Test / test (26) (pull_request) Successful in 32s
2026-09-28 01:45:31 +02:00