[ci] Use GitHub token to avoid ripgrep download issue

In a recent CI run, I noticed this error:
"Downloading ripgrep failed: Error: Request failed: 403"

This happens because of GitHub has limits when anonymously accessing
its API, which we do when downloading ripgrep. There's an easy fix:
use an auto-generated GitHub token when building the Theia app.

Also tidied-up the workflow file a little, to make it easier to read.

Signed-off-by: Marc Dumais <[email protected]>

.github/workflows/build.yml

@@ -1,4 +1,4 @@
-name: build
+name: CI
 
 on:
   push:
@@ -9,6 +9,7 @@ on:
 jobs:
 
   build-and-test:
+    name: Build and test
     runs-on: ${{ matrix.os }}
 
     strategy:
@@ -42,13 +43,18 @@ jobs:
         restore-keys: |
           ${{ runner.os }}-yarn-
 
-    - run: yarn --frozen-lockfile
+    - name: Build
+      run: yarn --frozen-lockfile
+      env:
+        GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # https://github.com/microsoft/vscode-ripgrep/issues/9
 
-    - run: yarn test
+    - name: Test
+      run: yarn test
       env:
         CI: true
 
   code-lint:
+    name: Lint and check format
     runs-on: ubuntu-latest
 
     steps:
@@ -60,7 +66,11 @@ jobs:
         node-version: '16'
 
     # ESLint and Prettier must be in `package.json`
-    - run: yarn --frozen-lockfile --ignore-scripts
+    - name: Install npm dependencies
+      run: yarn --frozen-lockfile --ignore-scripts
+
+    - name: Lint
+      run: yarn lint
 
-    - run: yarn lint
-    - run: yarn format:check
+    - name: Check format
+      run: yarn format:check