Skip to content

ci: fix missing getVersion in nightly Dafny CI #2854

ci: fix missing getVersion in nightly Dafny CI

ci: fix missing getVersion in nightly Dafny CI #2854

This job succeeded