Package Usage: actions: dafny-lang/setup-dafny-action
Install a packaged release of Dafny
17 versions
Latest release: over 1 year ago
View more package details: https://packages.ecosystem.code.gouv.fr/registries/github%20actions/packages/dafny-lang/setup-dafny-action