Skip to content

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

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

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

Triggered via pull request February 23, 2024 22:20
Status Success
Total duration 12s
Artifacts

check-prelude.yml

on: pull_request
check-prelude
4s