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

refactor: move registration of namespaces on kernel add into elaborator #7489

Sign in to view logs

refactor: move registration of namespaces on kernel add into elaborator

refactor: move registration of namespaces on kernel add into elaborator #7489

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check-prelude
4s
4s