fix: docs action to use git http auth

.github/workflows/docs-compilation-check.yml

@@ -5,15 +5,14 @@ name: Docs Compilation Check
 
 on:
   push:
-    branches: [ master ]
+    branches: [master]
   pull_request:
-    branches: [ master ]
+    branches: [master]
     paths:
       - 'web/**'
 
 jobs:
   build:
-
     runs-on: ubuntu-latest
 
     strategy:
@@ -22,20 +21,27 @@ jobs:
         # See supported Node.js release schedule at https://nodejs.org/en/about/releases/
 
     steps:
-    - uses: actions/checkout@v2
-    - name: Use Node.js ${{ matrix.node-version }}
-      uses: actions/setup-node@v2
-      with:
-        node-version: ${{ matrix.node-version }}
-        cache: 'npm'
-    - name: Install Deps
-      run: npm ci
-      working-directory: ./web
-      
-    - name: Pull Specs
-      run: make
-      working-directory: ./web/spec
-      
-    - name: Build
-      run: npm run build
-      working-directory: ./web
+      - uses: actions/checkout@v2
+
+      - name: Reconfigure git to use HTTP authentication
+        run: >
+          git config --global url."https://github.com/".insteadOf
+          ssh://git@github.com/
+
+      - name: Use Node.js ${{ matrix.node-version }}
+        uses: actions/setup-node@v2
+        with:
+          node-version: ${{ matrix.node-version }}
+          cache: 'npm'
+
+      - name: Install Deps
+        run: npm ci
+        working-directory: ./web
+
+      - name: Pull Specs
+        run: make
+        working-directory: ./web/spec
+
+      - name: Build
+        run: npm run build
+        working-directory: ./web