style: reformat CI config

RedPRL · Apr 20, 2022 · 1e78633 · 1e78633
1 parent db6dcf9
commit 1e78633
Showing 1 changed file with 13 additions and 13 deletions.
diff --git a/.github/workflows/ocaml.yml b/.github/workflows/ocaml.yml
@@ -8,16 +8,16 @@ jobs:
   run:
     runs-on: ubuntu-latest
     steps:
-    - uses: actions/checkout@v2
-    - uses: ocaml/setup-ocaml@v2
-      with:
-        ocaml-compiler: '4.13'
-    - run: opam pin . --with-doc --with-test --yes
-    - run: echo 'opam-build-root='`opam config var bantorra:build` >> $GITHUB_ENV
-      if: ${{ github.ref == 'refs/heads/main' || (github.event_name == 'pull_request' && startsWith (github.head_ref, 'doc')) }}
-    - uses: peaceiris/actions-gh-pages@v3
-      if: ${{ github.ref == 'refs/heads/main' || (github.event_name == 'pull_request' && startsWith (github.head_ref, 'doc')) }}
-      with:
-        force_orphan: true
-        github_token: ${{ secrets.GITHUB_TOKEN }}
-        publish_dir: ${{ format('{0}/_build/default/_doc/_html/', env.opam-build-root) }}
+      - uses: actions/checkout@v2
+      - uses: ocaml/setup-ocaml@v2
+        with:
+          ocaml-compiler: "4.13"
+      - run: opam pin . --with-doc --with-test --yes
+      - run: echo 'opam-build-root='`opam config var bantorra:build` >> $GITHUB_ENV
+        if: ${{ github.ref == 'refs/heads/main' || (github.event_name == 'pull_request' && startsWith (github.head_ref, 'doc')) }}
+      - uses: peaceiris/actions-gh-pages@v3
+        if: ${{ github.ref == 'refs/heads/main' || (github.event_name == 'pull_request' && startsWith (github.head_ref, 'doc')) }}
+        with:
+          force_orphan: true
+          github_token: ${{ secrets.GITHUB_TOKEN }}
+          publish_dir: ${{ format('{0}/_build/default/_doc/_html/', env.opam-build-root) }}