Unify Signature with AbstractTele.Locns #276

Sign in to view logs

Triggered via pull request June 25, 2024 13:00

synchronize #1122

elim-sig

Status Success

Total duration 16s

Artifacts –

commit-check.yaml

on: pull_request

Annotations

1 error

TyckTest.classTyck(): base/src/test/java/org/aya/tyck/TyckTest.java#L151

java.lang.AssertionError: carrier