Rename some of the events.

.github/workflows/server.yml

@@ -1,4 +1,4 @@
-name: Server
+name: server
 
 on:
   push:
@@ -10,14 +10,14 @@ env:
   CARGO_TERM_COLOR: always
 
 jobs:
-  build:
+  check:
     runs-on: ubuntu-latest
 
     steps:
     - uses: actions/checkout@v3
-    - name: Build
+    - name: build
       working-directory: server
       run: cargo build --verbose
-    - name: Test
+    - name: test
       working-directory: server
       run: cargo test --verbose

.github/workflows/web.yml

@@ -1,4 +1,4 @@
-name: Web
+name: web
 
 on:
   push:
@@ -7,20 +7,20 @@ on:
     branches: [ "main" ]
 
 jobs:
-  build:
+  check:
     runs-on: ubuntu-latest
 
     steps:
     - uses: actions/checkout@v3
-    - name: Install
+    - name: install
       working-directory: web
       run: yarn install
-    - name: Cert
+    - name: cert
       working-directory: cert
       run: ./generate
-    - name: Build
+    - name: build
       working-directory: web
       run: yarn build
-    - name: Lint
+    - name: lint
       working-directory: web
       run: yarn lint