Merge GitHub actions

This commit is contained in:
Andras Schmelczer 2022-09-22 08:30:40 +02:00
parent 9affe7b1f6
commit f4545adc1c
No known key found for this signature in database
GPG key ID: 0EA1BC97D0AB076E
2 changed files with 12 additions and 25 deletions

View file

@ -1,24 +0,0 @@
name: Check formatting and lint
on:
push:
branches:
- main
pull_request:
branches:
- main
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- name: Lint
run: |
npm ci
npm run lint
git diff
if [[ `git status --porcelain` ]]; then
exit 1
fi

View file

@ -1,10 +1,21 @@
name: Build and deploy to GitHub Pages
name: Check, build and deploy to GitHub Pages
on:
push:
branches:
- main
jobs:
check:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- name: Lint
run: |
npm ci
npm run lint && git diff
if [[ `git status --porcelain` ]]; then
exit 1
fi
build-and-deploy:
concurrency: ci-${{ github.ref }}
runs-on: ubuntu-latest