From c157d7c3e5972e6b10a7a3f75cca246566c4ed80 Mon Sep 17 00:00:00 2001
From: Jose Corella <joseeduardocorella@gmail.com>
Date: Wed, 10 Jul 2024 09:40:40 -0700
Subject: [PATCH] sigh.. format

---
 .github/workflows/pull.yml | 2 +-
 .github/workflows/push.yml | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/pull.yml b/.github/workflows/pull.yml
index 30cb14871..9db1a829a 100644
--- 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
index c38e2c157..8ebaf22de 100644
--- 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}}