Skip to content
CI

Fix non exhaustive case analysis in typechecker.pre_typecheck_binder #25

Sign in to view logs

Fix non exhaustive case analysis in typechecker.pre_typecheck_binder

Fix non exhaustive case analysis in typechecker.pre_typecheck_binder #25

Triggered via push November 22, 2023 22:43
@wilcoxjaywilcoxjay
pushed 168adda
jrw/github-issue-25
Status Success
Total duration 16m 11s
Artifacts –

build.yml

on: push
Matrix: Build and test
Fit to window
Zoom out
Zoom in