Skip to content
Duvet report

chore(STD-Dafny): HasSubString #3208

Sign in to view logs

chore(STD-Dafny): HasSubString

chore(STD-Dafny): HasSubString #3208

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

duvet.yaml

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

Artifacts

Produced during runtime
Name Size
specification_compliance_report
316 KB