Repository navigation
spec(port): port specs/port/trinity/src/tri/faculty_types.t27 (Closes #10005) - #10142
Closed
dmitrii-f-t27 wants to merge 1 commit into
Closed
dmitrii-f-t27 wants to merge 1 commit into
dmitrii-f-t27 wants to merge 1 commit into
Commits
Commits on Oct 17, 2026