Check for modules that should use `prelude`

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

Sign in to view logs

Triggered via pull request February 23, 2024 20:34

thorimur

synchronize #3473

thorimur:isDefEq-fvar-bug

Status Success

Total duration 15s

Artifacts –

check-prelude.yml

on: pull_request