Skip to content
Duvet report

chore(STD-Dafny): HasSubString #3207

Sign in to view logs

chore(STD-Dafny): HasSubString

chore(STD-Dafny): HasSubString #3207

Triggered via pull request November 4, 2024 19:25
@texastonytexastony
synchronize #952
tony/chore-std-hasSubString
Status Success
Total duration 1m 20s
Artifacts 1

duvet.yaml

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

Artifacts

Produced during runtime
Name Size
specification_compliance_report
316 KB