YAML syntax fix

leanprover · Jan 4, 2024 · 9cab0f6 · 9cab0f6
1 parent 250772b
commit 9cab0f6
Showing 1 changed file with 14 additions and 14 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -100,17 +100,17 @@ jobs:
 
     - name: Deploy to Netlify hosting
       uses: nwtgck/actions-netlify@v2.0
-        with:
-          publish-dir: functional-programming-lean/book/html
-          production-branch: master
-          github-token: ${{ secrets.GITHUB_TOKEN }}
-          deploy-message: |
-            ${{ github.event_name == 'pull_request' && format('pr#{0}: {1}', github.event.number, github.event.pull_request.title) || format('ref/{0}: {1}', github.ref_name, steps.deploy-info.outputs.message) }}
-          alias: ${{ steps.deploy-info.outputs.alias }}
-          enable-commit-comment: false
-          enable-pull-request-comment: false
-          github-deployment-environment: "lean-lang.org/functional_programming_lean"
-          fails-without-credentials: true
-        env:
-          NETLIFY_AUTH_TOKEN: ${{ secrets.NETLIFY_AUTH_TOKEN }}
-          NETLIFY_SITE_ID: "4e471a74-81e0-42f2-b27c-ca8c80a34f7c"
+      with:
+        publish-dir: functional-programming-lean/book/html
+        production-branch: master
+        github-token: ${{ secrets.GITHUB_TOKEN }}
+        deploy-message: |
+          ${{ github.event_name == 'pull_request' && format('pr#{0}: {1}', github.event.number, github.event.pull_request.title) || format('ref/{0}: {1}', github.ref_name, steps.deploy-info.outputs.message) }}
+        alias: ${{ steps.deploy-info.outputs.alias }}
+        enable-commit-comment: false
+        enable-pull-request-comment: false
+        github-deployment-environment: "lean-lang.org/functional_programming_lean"
+        fails-without-credentials: true
+      env:
+        NETLIFY_AUTH_TOKEN: ${{ secrets.NETLIFY_AUTH_TOKEN }}
+        NETLIFY_SITE_ID: "4e471a74-81e0-42f2-b27c-ca8c80a34f7c"