Skip to content
Haskell-CI

dMatchUpSAKWithDecl: Fix treatment of invisible foralls without corresponding @-binders #269

Sign in to view logs

dMatchUpSAKWithDecl: Fix treatment of invisible foralls without corresponding @-binders

dMatchUpSAKWithDecl: Fix treatment of invisible foralls without corresponding @-binders #269

Triggered via pull request July 14, 2024 14:02
@RyanGlScottRyanGlScott
opened #230
T228-matchUpSAKWithDecl-invisible
Status Success
Total duration 4m 1s
Artifacts –

haskell-ci.yml

on: pull_request
Matrix: linux
Fit to window
Zoom out
Zoom in