Skip to content

Update for names in new prelude - #1963

Closed
garyb wants to merge 2 commits into
masterfrom
1953-new-prelude-names
Closed

Update for names in new prelude#1963
garyb wants to merge 2 commits into
masterfrom
1953-new-prelude-names

Disable psci tests that rely on re-exports

27c99c6
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs