Skip to content
Check for modules that should use `prelude`

fix: delta-reduce constants with same name but different universes #6240

Sign in to view logs

fix: delta-reduce constants with same name but different universes

fix: delta-reduce constants with same name but different universes #6240

check-prelude

check-prelude
succeeded Nov 16, 2024 in 4s