Skip to content

ci: fix missing getVersion in nightly Dafny CI #2210

ci: fix missing getVersion in nightly Dafny CI

ci: fix missing getVersion in nightly Dafny CI #2210

Annotations

1 warning

The logs for this run have expired and are no longer available.