Skip to content
Duvet report

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

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

Triggered via pull request November 6, 2023 21:24
@robin-awsrobin-aws
synchronize #555
robin-aws/work-around-dafny-4.2-crash
Status Success
Total duration 1m 28s
Artifacts 1

ci_duvet.yml

on: pull_request
duvet
1m 18s
duvet
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
specification_compliance_report Expired
1.28 MB