GitHub - dafny-lang/setup-dafny-from-source-action: Helper action for setup-dafny-action that builds Dafny from source. DO NOT USE DIRECTLY. · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
action.yml		action.yml

About

Helper action for setup-dafny-action that builds Dafny from source. DO NOT USE DIRECTLY.

Custom properties

Report repository

Releases

Packages

Contributors