fix: steps indentation

Author: erikmd

.github/workflows/build-coq-demo.yml

@@ -34,13 +34,13 @@ jobs:
 
     # Steps represent a sequence of tasks that will be executed as part of the job
     steps:
-    # Checks-out your repository under $GITHUB_WORKSPACE, so your job can access it
-    - uses: actions/checkout@v2
-    - uses: coq-community/docker-coq-action@v1
-      with:
-        opam_file: 'coq-demo.opam'
-        coq_version: ${{ matrix.coq_version }}
-        ocaml_version: ${{ matrix.ocaml_version }}
+      # Checks-out your repository under $GITHUB_WORKSPACE, so your job can access it
+      - uses: actions/checkout@v2
+      - uses: coq-community/docker-coq-action@v1
+        with:
+          opam_file: 'coq-demo.opam'
+          coq_version: ${{ matrix.coq_version }}
+          ocaml_version: ${{ matrix.ocaml_version }}
 
   mathcomp:
     runs-on: ubuntu-latest
@@ -54,11 +54,11 @@ jobs:
       max-parallel: 4
       fail-fast: false
     steps:
-    - uses: actions/checkout@v2
-    - uses: coq-community/docker-coq-action@v1
-      with:
-        opam_file: './coq-demo.opam'
-        custom_image: ${{ matrix.image }}
+      - uses: actions/checkout@v2
+      - uses: coq-community/docker-coq-action@v1
+        with:
+          opam_file: './coq-demo.opam'
+          custom_image: ${{ matrix.image }}
 
 # Remark:
 # you may want to add the following badge to your README.md:

.github/workflows/misc-test.yml

@@ -13,21 +13,21 @@ jobs:
   uid-test:
     runs-on: ubuntu-latest
     steps:
-    - uses: actions/checkout@v2
-    - run: id
-    - uses: erikmd/docker-coq-action@master
-      with:
-        opam_file: './coq-demo.opam'
-        coq_version: 'latest'
-        ocaml_version: '4.07-flambda'
-        custom_script: |
-          # small test, not intended for demo purposes
-          startGroup Test UID+GID
-            id
-            pwd
-            ls -hal
-            stat -c "UID=%u,GID=%g %n" $WORKDIR/$PACKAGE.opam
-          endGroup
-          startGroup Print opam config
-            opam config list; opam repo list; opam list
-          endGroup
+      - uses: actions/checkout@v2
+      - run: id
+      - uses: erikmd/docker-coq-action@master
+        with:
+          opam_file: './coq-demo.opam'
+          coq_version: 'latest'
+          ocaml_version: '4.07-flambda'
+          custom_script: |
+            # small test, not intended for demo purposes
+            startGroup Test UID+GID
+              id
+              pwd
+              ls -hal
+              stat -c "UID=%u,GID=%g %n" $WORKDIR/$PACKAGE.opam
+            endGroup
+            startGroup Print opam config
+              opam config list; opam repo list; opam list
+            endGroup