chore: update github workflows

2020-09-03 23:10:41 +02:00
parent a651f747ac
commit 23cfe0d417
23 changed files with 199 additions and 91 deletions
@@ -1,33 +0,0 @@
-name: Linters
-
-on:
-  push:
-    branches: [ master ]
-  pull_request:
-    branches: [ master ]
-
-jobs:
-  black:
-    runs-on: ubuntu-latest
-    steps:
-      - uses: actions/checkout@v2
-      - run: sudo apt-get install python3-venv
-      - run: python3 -m venv venv
-      - run: ./venv/bin/pip install black
-      - run: make checkblack
-  prettier:
-    runs-on: ubuntu-latest
-    steps:
-      - uses: actions/checkout@v2
-      - run: npm install
-      - run: make checkprettier
-  mypy:
-    runs-on: ubuntu-latest
-    steps:
-      - uses: actions/checkout@v2
-      - run: sudo apt-get install python3-venv
-      - run: sudo apt-get install libev-dev
-      - run: python3 -m venv venv
-      - run: ./venv/bin/pip install -r requirements.txt
-      - run: ./venv/bin/pip install mypy
-      - run: make mypy