renaming workflows (easier for badge) and removing travis

This commit is contained in:
Julien Neuhart
2019-08-20 12:56:53 +02:00
parent bca8b6b606
commit fc2e3586a2
4 changed files with 4 additions and 27 deletions

12
.github/workflows/push.yml vendored Normal file
View File

@@ -0,0 +1,12 @@
name: Push
on: push
jobs:
tests:
name: Lint, tests and code coverage
runs-on: ubuntu-18.04
steps:
- uses: actions/checkout@v1
- run: make lint
- run: make tests CODE_COVERAGE=1
- run: bash <(curl -s https://codecov.io/bash) -t ${{ secrets.CODECOV_TOKEN }}