format and fixes

Author: josecorella

.github/workflows/ci_codegen.yml

@@ -40,7 +40,7 @@ jobs:
       - name: Setup Dafny
         uses: dafny-lang/[email protected]
         with:
-          dafny-version: ${{ inputs.dafny }} 
+          dafny-version: ${{ inputs.dafny }}
 
       - name: Setup .NET Core SDK ${{ matrix.dotnet-version }}
         uses: actions/setup-dotnet@v4

.github/workflows/ci_examples_net.yml

@@ -44,7 +44,7 @@ jobs:
         uses: dafny-lang/[email protected]
         with:
           dafny-version: ${{ inputs.dafny }}
-      
+
       - name: Regenerate code using smithy-dafny if necessary
         uses: ./.github/actions/polymorph_codegen
         with:

.github/workflows/ci_test_vector_java.yml

@@ -50,7 +50,7 @@ jobs:
         uses: dafny-lang/[email protected]
         with:
           dafny-version: ${{ inputs.dafny }}
-      
+
       - name: Regenerate code using smithy-dafny if necessary
         if: ${{ inputs.regenerate-code }}
         uses: ./.github/actions/polymorph_codegen
@@ -68,13 +68,13 @@ jobs:
 
       - name: Build TestVectors implementation
         shell: bash
-        working-directory: ${{matrix.library}} 
+        working-directory: ${{matrix.library}}
         run: |
           # This works because `node` is installed by default on GHA runners
           CORES=$(node -e 'console.log(os.cpus().length)')
           make build_java CORES=$CORES
 
       - name: Test TestVectors
-        working-directory: ${{matrix.library}} 
+        working-directory: ${{matrix.library}}
         run: |
           make test_java

.github/workflows/ci_test_vector_net.yml

@@ -50,7 +50,7 @@ jobs:
         uses: dafny-lang/[email protected]
         with:
           dafny-version: ${{ inputs.dafny }}
-      
+
       - name: Regenerate code using smithy-dafny if necessary
         if: ${{ inputs.regenerate-code }}
         uses: ./.github/actions/polymorph_codegen

.github/workflows/dafny_version.yml

@@ -21,5 +21,5 @@ jobs:
         id: read_property
         uses: christian-draeger/[email protected]
         with:
-            path: "./project.properties"
-            properties: "dafnyVersion"
+          path: "./project.properties"
+          properties: "dafnyVersion"

.github/workflows/daily_ci.yml

@@ -43,4 +43,3 @@ jobs:
     uses: ./.github/workflows/library_net_tests.yml
     with:
       dafny: ${{needs.getVersion.outputs.version}}
-

.github/workflows/library_dafny_verification.yml

@@ -47,7 +47,7 @@ jobs:
         uses: actions/setup-dotnet@v3
         with:
           dotnet-version: "6.0.x"
-      
+
       - name: Regenerate code using smithy-dafny if necessary
         if: ${{ inputs.regenerate-code }}
         uses: ./.github/actions/polymorph_codegen
@@ -57,14 +57,14 @@ jobs:
           diff-generated-code: false
 
       - name: Verify ${{ matrix.library }} Dafny code
-        working-directory: ./${{ matrix.library }}
+        working-directory: ${{ matrix.library }}
         run: |
           # This works because `node` is installed by default on GHA runners
           CORES=$(node -e 'console.log(os.cpus().length)')
           make verify CORES=$CORES
 
       - name: Check solver resource use
         if: success() || failure()
-        working-directory: ./${{ matrix.library }}
+        working-directory: ${{ matrix.library }}
         run: |
-          make dafny-reportgenerator
+          make dafny-reportgenerator

.github/workflows/manual.yml

@@ -56,4 +56,4 @@ jobs:
     uses: ./.github/workflows/ci_examples_net.yml
     with:
       dafny: ${{ inputs.dafny }}
-      regenerate-code: ${{ inputs.regenerate-code }}
+      regenerate-code: ${{ inputs.regenerate-code }}

.github/workflows/nightly.yml

@@ -87,4 +87,4 @@ jobs:
             --repo "dafny-lang/dafny" \
             --title "[PRERELEASE REGRESSION] Dafny prerelease regression from ${{ github.repository }}" \
             --body "Failure in ${{ github.workflow_ref }}. \
-            See ${{ github.server_url }}/${{ github.repository }}/actions/runs/${{ github.run_id }}"
+            See ${{ github.server_url }}/${{ github.repository }}/actions/runs/${{ github.run_id }}"