sigh.. format

aws · Jul 10, 2024 · c157d7c · c157d7c
1 parent 8306aa7
commit c157d7c
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/pull.yml b/.github/workflows/pull.yml
@@ -23,7 +23,7 @@ jobs:
     needs: getVerifyVersion
     uses: ./.github/workflows/library_dafny_verification.yml
     with:
-      dafny: ${{needs.getVerifyVersion.outputs.version}} 
+      dafny: ${{needs.getVerifyVersion.outputs.version}}
   pr-ci-java:
     needs: getVersion
     uses: ./.github/workflows/ci_test_java.yml

diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
@@ -22,7 +22,7 @@ jobs:
     with:
       dafny: ${{needs.getVersion.outputs.version}}
   push-ci-verification:
-    needs: getVerifyVersion 
+    needs: getVerifyVersion
     uses: ./.github/workflows/library_dafny_verification.yml
     with:
       dafny: ${{needs.getVerifyVersion.outputs.version}}