Contributor signed CONTRIBUTORS.markdown

Don't relax type when doing an instantiateL during subtyping #224

Sign in to view logs

Triggered via pull request June 25, 2024 19:58

dolio

opened #5133

fix/5129

Status Success

Total duration 13s

Artifacts –

check-contributor.yaml

on: pull_request

check-contributor