diff --git a/web/.eslintignore b/web/.eslintignore new file mode 100644 index 000000000..bb613d599 --- /dev/null +++ b/web/.eslintignore @@ -0,0 +1,3 @@ +# Ignore artifacts: +node_modules +out diff --git a/web/.github/workflows/linter.yml b/web/.github/workflows/linter.yml new file mode 100644 index 000000000..6e9248194 --- /dev/null +++ b/web/.github/workflows/linter.yml @@ -0,0 +1,23 @@ +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: + config-path: '.eslintrc.js' + ignore-path: '.eslintignore' + extensions: 'ts,tsx,js,jsx' + extra-args: '--max-warnings=0' \ No newline at end of file diff --git a/web/.github/workflows/prettier.yml b/web/.github/workflows/prettier.yml new file mode 100644 index 000000000..22bc9db46 --- /dev/null +++ b/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 }} \ No newline at end of file diff --git a/web/styles/globals.scss b/web/styles/globals.scss index 308933e18..b03ab6cbd 100644 --- a/web/styles/globals.scss +++ b/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;