diff options
| author | fischerling <florian.fl.fischer@fau.de> | 2021-03-08 12:14:32 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-03-08 12:14:32 +0100 |
| commit | 002041b6fb8e18b66a993c69219fe699a857f803 (patch) | |
| tree | b151754b43b92ad91362c521b31964c53d3958c3 /.github | |
| parent | 4bf903481ac49c33ac1059c1fe1e79a0e2ef8f9b (diff) | |
| download | vis-lspc-002041b6fb8e18b66a993c69219fe699a857f803.tar.gz vis-lspc-002041b6fb8e18b66a993c69219fe699a857f803.zip | |
create github check workflow
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/check.yml | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/.github/workflows/check.yml b/.github/workflows/check.yml new file mode 100644 index 0000000..009b738 --- /dev/null +++ b/.github/workflows/check.yml @@ -0,0 +1,32 @@ +# This is a basic workflow to help you get started with Actions + +name: CI + +# Controls when the action will run. +on: + # Triggers the workflow on push or pull request events but only for the master branch + push: + branches: [ master ] + pull_request: + branches: [ master ] + + # Allows you to run this workflow manually from the Actions tab + workflow_dispatch: + +# A workflow run is made up of one or more jobs that can run sequentially or in parallel +jobs: + # This workflow contains a single job called "build" + check: + # The type of runner that the job will run on + runs-on: ubuntu-latest + + # Steps represent a sequence of tasks that will be executed as part of the job + steps: + # Checks-out your repository under $GITHUB_WORKSPACE, so your job can access it + - uses: actions/checkout@v2 + + - name: check format + run: make check-format + + - name: static analysis + run: make check-luacheck |
