Skip to content
Duvet report

chore: split vc gen on some methods to migrate to Dafny 4.4 #24

Sign in to view logs

chore: split vc gen on some methods to migrate to Dafny 4.4

chore: split vc gen on some methods to migrate to Dafny 4.4 #24

Triggered via pull request November 29, 2023 19:28
@texastonytexastony
opened #627
jtristan/dafny-4.4
Status Success
Total duration 1m 33s
Artifacts 1

duvet.yaml

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

Artifacts

Produced during runtime
Name Size
specification_compliance_report Expired
1.45 MB