Skip to content

Check that no live class points at an obsolete class - #19

Open
hoodcm wants to merge 1 commit into
mainfrom
live-class-referencing-obsolete-class
Open

Check that no live class points at an obsolete class#19
hoodcm wants to merge 1 commit into
mainfrom
live-class-referencing-obsolete-class

Check that no live class names an obsolete class in a logical axiom, …

b694813
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
robot-integrity
succeeded Oct 1, 2026 in 1m 36s