Fix TLA workflow YAML indentation

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

Copilot-Session: d729ac7e-d3b0-4e13-97ba-f8aa6a2d02d9
Signed-off-by: Alan Jowett <alanjo@microsoft.com>

Author: Alan-Jowett

.github/workflows/tla-plus-models.yml

@@ -126,31 +126,31 @@ jobs:
             done
           done
 
-      tlaps:
-        name: TLAPS proof check
-        runs-on: ubuntu-latest
-
-        steps:
-          - name: Checkout
-            uses: actions/checkout@v6.0.1
-
-          - name: Install TLAPS (tlapm)
-            shell: bash
-            run: |
-              set -euo pipefail
-
-              installer="tlaps-1.5.0-x86_64-linux-gnu-inst.bin"
-              curl -fsSL -o "${installer}" \
-                https://github.com/tlaplus/tlapm/releases/download/202210041448/${installer}
-              chmod a+x "${installer}"
-
-              prefix="${RUNNER_TEMP}/tlaps"
-              "./${installer}" -d "${prefix}"
-
-              echo "${prefix}/bin" >> "$GITHUB_PATH"
-
-          - name: Run TLAPS proofs
-            shell: bash
-            run: |
-              set -euo pipefail
-              bash scripts/run_tlaps.sh
+  tlaps:
+    name: TLAPS proof check
+    runs-on: ubuntu-latest
+
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v6.0.1
+
+      - name: Install TLAPS (tlapm)
+        shell: bash
+        run: |
+          set -euo pipefail
+
+          installer="tlaps-1.5.0-x86_64-linux-gnu-inst.bin"
+          curl -fsSL -o "${installer}" \
+            https://github.com/tlaplus/tlapm/releases/download/202210041448/${installer}
+          chmod a+x "${installer}"
+
+          prefix="${RUNNER_TEMP}/tlaps"
+          "./${installer}" -d "${prefix}"
+
+          echo "${prefix}/bin" >> "$GITHUB_PATH"
+
+      - name: Run TLAPS proofs
+        shell: bash
+        run: |
+          set -euo pipefail
+          bash scripts/run_tlaps.sh