Skip to content

Do not inject macro overrides into external dependencies#4666

Merged
feliperodri merged 1 commit into
model-checking:mainfrom
tautschnig:restrict-macro-overrides-to-primary
Jul 22, 2026
Merged

Do not inject macro overrides into external dependencies#4666
feliperodri merged 1 commit into
model-checking:mainfrom
tautschnig:restrict-macro-overrides-to-primary

Do not inject macro overrides into external dependencies

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

Annotations

1 error
format-check
succeeded Jul 21, 2026 in 9s