Merge remote-tracking branch 'origin' into 0.0.6

web/.github/workflows/linter.yml

@@ -0,0 +1,21 @@
+name: linter
+
+# This action works with pull requests and pushes
+on:
+  pull_request:
+
+jobs:
+  linter:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v2
+      - uses: actions/setup-node@v1
+        with:
+          node-version: 9.8.0
+      - name: Install
+        run: npm install
+      - name: Run ESLint on changed files
+        uses: tj-actions/eslint-changed-files@v4
+        with:
+          extensions: 'ts,tsx,js,jsx'
+          extra-args: '--max-warnings=0'

web/.github/workflows/prettier.yml

@@ -0,0 +1,29 @@
+name: Format code
+
+# This action works with pull requests and pushes
+on:
+  pull_request:
+  push:
+    branches:
+    - master
+
+jobs:
+  prettier:
+    runs-on: ubuntu-latest
+
+    steps:
+    - name: Checkout
+      uses: actions/checkout@v2
+      with:
+        # Make sure the actual branch is checked out when running on pull requests
+        ref: ${{ github.head_ref }}
+        fetch-depth: 0
+
+    - name: Prettify code
+      uses: creyD/prettier_action@v3.1
+      with:
+        # This part is also where you can pass other options, for example:
+        prettier_options: --write **/*.{js,tsx,jsx}
+        only_changed: true
+      env:
+        GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}

web/styles/globals.scss

@@ -40,6 +40,10 @@ code {
   height: 2rem;
   width: 2rem;
 }
+.ant-btn {
+  transition-duration: .15s;
+  transition-delay: 0s;
+}
 
 p.page-description {
   margin: 1em 0;