Fold the session's closed and ended flags into one lifecycle state #41

Merged
lilleman merged 3 commits from session-owns-bind into main 2026-09-28 02:52:33 +02:00

3 Commits

Author SHA1 Message Date
lilleman b0b7404477 Name the session-options hooks that import Session
Test / lint (pull_request) Successful in 27s
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 37s
Test / test (26) (pull_request) Successful in 31s
Mirror / push (push) Successful in 6s
2026-09-28 02:40:13 +02:00
lilleman c32c1bc65b Name the session's lifecycle state and the invariant that keeps ended final
Mirror / push (push) Has been cancelled
Test / lint (pull_request) Successful in 24s
Test / test (18) (pull_request) Successful in 40s
Test / test (20) (pull_request) Successful in 32s
Test / test (22) (pull_request) Successful in 32s
Test / test (24) (pull_request) Successful in 31s
Test / test (26) (pull_request) Successful in 31s
2026-09-28 02:39:49 +02:00
lilleman 20aa2828c2 Fold the session's closed and ended flags into one link state, and split Locality by the scoring run
Mirror / push (push) Has been cancelled
Test / lint (pull_request) Successful in 23s
Test / test (18) (pull_request) Successful in 34s
Test / test (20) (pull_request) Successful in 31s
Test / test (22) (pull_request) Successful in 37s
Test / test (24) (pull_request) Successful in 31s
Test / test (26) (pull_request) Successful in 35s
2026-09-28 02:36:32 +02:00