auto commit

Author: rishav-karanjit

.github/workflows/go-release.yml

@@ -48,7 +48,7 @@ jobs:
           git submodule update --init --recursive
 
       - name: Setup Dafny
-        uses: ./.github/actions/setup_dafny
+        uses: dafny-lang/[email protected]
         with:
           dafny-version: ${{ needs.get-dafny-version.outputs.version }}