The checker ends a check whose heads no candidate holds, and starts a group's check once its heads settle (issue 1890) #79

Merged
mesh-tools merged 1 commits from fix/1890-end-superseded-checks into main 2026-10-26 21:10:57 +00:00
1 Commits
Author SHA1 Message Date
jschoubben d95e9f3229 End a check whose heads no candidate holds, and start a group's check once its heads settle (issue 1890)
mesh/delivery merged: source.main moved to novox/mesh-delivery@31ddd090876f
mesh/check pass d95e9f322913 on d581f9659a78 | unit 191 run, 525 kept | integration 201 run, 591 kept | composition passed on novox
2026-10-26 21:44:12 +01:00