Skip to content

Irrefutable Lambda #895

Irrefutable Lambda

Irrefutable Lambda #895

Triggered via pull request January 20, 2025 07:57
Status Failure
Total duration 56s
Artifacts

gradle-check.yaml

on: pull_request
check-aya-version  /  extract-version
3s
check-aya-version / extract-version
gradle-check
38s
gradle-check
Fit to window
Zoom out
Zoom in

Annotations

5 errors and 2 warnings
TyckTest.classTyck(): base/src/test/java/org/aya/tyck/TyckTest.java#L148
org.aya.util.error.Panic: unreachable
TyckTest.path0(): base/src/test/java/org/aya/tyck/TyckTest.java#L62
org.aya.util.error.Panic: unreachable
TyckTest.path1(): base/src/test/java/org/aya/tyck/TyckTest.java#L78
org.aya.util.error.Panic: unreachable
TyckTest.test0(): base/src/test/java/org/aya/tyck/TyckTest.java#L37
org.aya.util.error.Panic: unreachable
gradle-check
Gradle build failed: see console output for details
check-aya-version / extract-version
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
gradle-check
This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.