chore(deps): bump dafny-lang/setup-dafny-action in /.github/workflows (#733)

Bumps [dafny-lang/setup-dafny-action](https://github.com/dafny-lang/setup-dafny-action) from 1.6.1 to 1.7.0.

Author: dependabot[bot]

.github/workflows/ci_examples_net.yml

@@ -38,7 +38,7 @@ jobs:
           dotnet-version: ${{ matrix.dotnet-version }}
 
       - name: Setup Dafny
-        uses: dafny-lang/setup-dafny-action@v1.6.1
+        uses: dafny-lang/setup-dafny-action@v1.7.0
         with:
           dafny-version: ${{ '4.2.0' }}
 

.github/workflows/ci_test_vector_net.yml

@@ -39,7 +39,7 @@ jobs:
           submodules: recursive
 
       - name: Setup Dafny
-        uses: dafny-lang/setup-dafny-action@v1.6.1
+        uses: dafny-lang/setup-dafny-action@v1.7.0
         with:
           dafny-version: '4.2.0'