Disable rich navigation workflow (#221)

.github/workflows/rich-navigation.yml → .github/workflows/rich-navigation.yml.off

@@ -1,31 +1,31 @@
-name: "Rich Navigation Indexing"
-on:
-  workflow_dispatch:
-  pull_request:
-  push:
-    branches:
-      - main
-    tags:
-      - 'v[0-9]+.[0-9]+.[0-9]+'
-
-jobs:
-  richnav:
-    runs-on: windows-latest
-    steps:
-      - uses: actions/checkout@v2
-
-      - uses: actions/setup-node@v2
-        with:
-          node-version: 14
-
-      - name: Install dependencies
-        run: npm install
-
-      - uses: microsoft/[email protected]
-        with:
-          languages: typescript
-          repo-token: ${{ secrets.GITHUB_TOKEN }}
-          typescriptVersion: 0.6.0-next.19
-          configFiles: .lsifrc.json
-        continue-on-error: true
-
+name: "Rich Navigation Indexing"
+on:
+  workflow_dispatch:
+  pull_request:
+  push:
+    branches:
+      - main
+    tags:
+      - 'v[0-9]+.[0-9]+.[0-9]+'
+
+jobs:
+  richnav:
+    runs-on: windows-latest
+    steps:
+      - uses: actions/checkout@v2
+
+      - uses: actions/setup-node@v2
+        with:
+          node-version: 14
+
+      - name: Install dependencies
+        run: npm install
+
+      - uses: microsoft/[email protected]
+        with:
+          languages: typescript
+          repo-token: ${{ secrets.GITHUB_TOKEN }}
+          typescriptVersion: 0.6.0-next.19
+          configFiles: .lsifrc.json
+        continue-on-error: true
+