Skip to content
Duvet report

chore(STD-Dafny): HasSubString #3206

Sign in to view logs

chore(STD-Dafny): HasSubString

chore(STD-Dafny): HasSubString #3206

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

duvet.yaml

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

Artifacts

Produced during runtime
Name Size
specification_compliance_report
316 KB