Skip to content
Duvet report

chore: Add manual trigger for nightly_dafny.yml #30

Sign in to view logs

chore: Add manual trigger for nightly_dafny.yml

chore: Add manual trigger for nightly_dafny.yml #30

Triggered via pull request November 30, 2023 18:02
@robin-awsrobin-aws
synchronize #629
robin-aws-patch-1
Status Success
Total duration 1m 22s
Artifacts 1

duvet.yaml

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

Artifacts

Produced during runtime
Name Size
specification_compliance_report Expired
1.45 MB