GitHub repository: robin-aws/setup-dafny-action
Description: Action for installing Dafny