Skip to content

ci: fix missing getVersion in nightly Dafny CI #3035

ci: fix missing getVersion in nightly Dafny CI

ci: fix missing getVersion in nightly Dafny CI #3035

This job succeeded