Skip to content
Library Java tests

fix: Avoid stacking newtype definition to avoid bug fixed by Dafny PR #4569 #2034

Sign in to view logs

fix: Avoid stacking newtype definition to avoid bug fixed by Dafny PR #4569

fix: Avoid stacking newtype definition to avoid bug fixed by Dafny PR #4569 #2034

Triggered via pull request November 6, 2023 19:18
@robin-awsrobin-aws
opened #555
robin-aws/work-around-dafny-4.2-crash
Status Success
Total duration 16m 20s
Artifacts –

ci_test_java.yml

on: pull_request
Matrix: testJava
Fit to window
Zoom out
Zoom in