Skip to content
Java Examples

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

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 #1490

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 49m 12s
Artifacts –

ci_examples_java.yml

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