Skip to content

Fix workspace feature handling to filter features per-package#4545

Open
tautschnig wants to merge 2 commits intomodel-checking:mainfrom
tautschnig:fix-4544
Open

Fix workspace feature handling to filter features per-package#4545
tautschnig wants to merge 2 commits intomodel-checking:mainfrom
tautschnig:fix-4544

Commits

Commits on Feb 13, 2026

Commits on Feb 16, 2026