Add GADT symbols when typing typing-ahead lambda bodies #111

Sign in to view logs

Triggered via push February 7, 2024 22:52

dwijnand

gadt-poly

Status Success

Total duration 1m 19s

Artifacts –

spec.yml

on: push