Check for modules that should use `prelude`

fix: `isDefEq` handling of delayed-assigned mvars when `withAssignableSyntheticOpaque` is `true` #29

Sign in to view logs

Triggered via pull request February 23, 2024 21:38

thorimur

synchronize #3473

thorimur:isDefEq-fvar-bug

Status Success

Total duration 10s

Artifacts –

check-prelude.yml

on: pull_request