Skip to content

Fix std overrides when crate has extern std#2989

Merged
tautschnig merged 2 commits into
model-checking:mainfrom
celinval:issue-2187-no-std
Feb 5, 2024
Merged

Fix std overrides when crate has extern std#2989
tautschnig merged 2 commits into
model-checking:mainfrom
celinval:issue-2187-no-std

Merge branch 'main' into issue-2187-no-std

fb2c27f
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs