Skip to content
Back to pull request #883

ci: fix missing getVersion in nightly Dafny CI #3035

Sign in to view logs

ci: fix missing getVersion in nightly Dafny CI

ci: fix missing getVersion in nightly Dafny CI #3035

Triggered via pull request October 17, 2024 22:25
@alex-chewalex-chew
opened #883
ci/fix-missing-get-version-job
Status Success
Total duration 1m 17s
Artifacts 1

duvet.yaml

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

Artifacts

Produced during runtime
Name Size
specification_compliance_report Expired
316 KB