format

Author: josecorella

.github/workflows/dafny-interop.yml

@@ -1,7 +1,6 @@
-
 # This workflow is for testing backwards compatibility of a dafny version
 # and tests if a project that consumes the mpl will be backwards compatible with
-# a newer version of Dafny 
+# a newer version of Dafny
 name: Dafny Interoperability Test
 
 on:
@@ -20,7 +19,7 @@ on:
         description: "The Dafny version to compile the DBESDK with (4.2.0, dafny-nightly, etc..)"
         required: true
         type: string
-  
+
 jobs:
   dafny-interop-java:
     uses: ./.github/workflows/dafny_interop_java.yml

.github/workflows/dafny_interop_java.yml

@@ -61,19 +61,19 @@ jobs:
         with:
           distribution: "corretto"
           java-version: ${{ matrix.java-version }}
-      
+
       - name: Build MPL with Dafny ${{inputs.mpl-dafny}}
         working-directory: submodules/MaterialProviders/submodules/MaterialProviders/TestVectorsAwsCryptographicMaterialProviders
         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: Setup DBESDK Dafny
         uses: dafny-lang/[email protected]
         with:
           dafny-version: ${{ inputs.dbesdk-dafny}}
-          
+
       - name: Build ${{ matrix.library }} implementation
         shell: bash
         working-directory: ./${{ matrix.library }}