format: white space

leanprover · May 20, 2024 · 8d39564 · 8d39564
1 parent 9cf1b91
commit 8d39564
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/.github/workflows/functional_tests.yml b/.github/workflows/functional_tests.yml
@@ -54,4 +54,4 @@ jobs:
       - name: "run `lean-action` with on `lake ${{matrix.lake-init-command}}` with test: ${{ matrix.lake-test }}"
         uses: ./
         with:
-          test: ${{ matrix.lake-test }}
+          test: ${{ matrix.lake-test }}
diff --git a/action.yml b/action.yml
@@ -86,8 +86,8 @@ runs:
       shell: bash
 
     - name: build ${{ github.repository }}
-      env: 
-          BUILD_ARGS: ${{ inputs.build-args }}
+      env:
+        BUILD_ARGS: ${{ inputs.build-args }}
       run: |
         echo "::group::Lake Build"
         lake build "$BUILD_ARGS"