Skip to content
Duvet report

chore: fix Dafny verification (#1627) #4113

Sign in to view logs

chore: fix Dafny verification (#1627)

chore: fix Dafny verification (#1627) #4113

Triggered via push February 5, 2025 20:51
@RitvikKapilaRitvikKapila
pushed 3e4323f
main
Status Success
Total duration 1m 54s
Artifacts 1

ci_duvet.yml

on: push
duvet
1m 44s
duvet
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
specification_compliance_report
290 KB