Branches - mesh-lab - Gitea: Git with a cup of tea

main

3a9deb8cdb · Merge pull request 'R4g (mesh-lab): the checker judges the lab; its scripts become tests (design 47)' (#108) from feat/r4g into main · Updated 2026-10-23 17:54:01 +00:00

fix/1439-replay 6a30dcb372 · Register R1439: the SDK took names with digits for secrets (issue 1439) · Updated 2026-10-21 08:55:25 +00:00 jschoubben	4 1	Compare	ZIP TAR.GZ
research/053-signed-bus-logins 002f203079 · Wait for any route, not exactly one: 2.11 pools routes between two servers · Updated 2026-10-15 23:31:41 +00:00 jschoubben	6 2	Compare	ZIP TAR.GZ
proofs/372-a-tap-shows-its-outcome mesh/merge-gate out of date: judged against a trunk it does not name, the trunk is now 5c1c6f56c9d9; judged again on a recheck or when it is merged Details mesh/repo-check out of date: judged against a trunk it does not name, the trunk is now 5c1c6f56c9d9; judged again on a recheck or when it is merged Details mesh/delivery closed: the pull request closed unmerged Details 7289edb276 · asks: the proof sees what the phone shows at a tap, and the question's outcome as its title (hq issue 372) · Updated 2026-10-10 12:12:45 +00:00 jschoubben	73 1	#76 Closed	ZIP TAR.GZ