Allow poly-kinded GADT vars to infer constraints #144

Sign in to view logs

Triggered via push March 11, 2024 11:38

dwijnand

binding-ub-AnyKind

Status Success

Total duration 1m 36s

Artifacts –

spec.yml

on: push