Skip to content
Build

Replace front-end type checker with the proposed constrained-based one #722

Sign in to view logs

Replace front-end type checker with the proposed constrained-based one

Replace front-end type checker with the proposed constrained-based one #722

Triggered via push September 27, 2023 18:31
@yihozhangyihozhang
pushed 08aef0c
constraint-based-type-inference
Status Failure
Total duration 3m 8s
Artifacts –

build.yml

on: push
test
2m 56s
test
nits
1m 21s
nits
Fit to window
Zoom out
Zoom in

Annotations

1 error
nits
Process completed with exit code 2.