github_actions in /.github/workflows for dafny-lang/setup-dafny-action - Update #871964744

github_actions in /.github/workflows for dafny-lang/setup-dafny-action - Update #871964744 #196