Specification

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

Sign in to view logs

Triggered via pull request February 22, 2024 15:14

dwijnand

synchronize #19644

dwijnand:gadt-poly

Status Success

Total duration 1m 25s

Artifacts –

spec.yml

on: pull_request