aboutsummaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
authorfischerling <florian.fl.fischer@fau.de>2021-03-08 12:14:32 +0100
committerGitHub <noreply@github.com>2021-03-08 12:14:32 +0100
commit002041b6fb8e18b66a993c69219fe699a857f803 (patch)
treeb151754b43b92ad91362c521b31964c53d3958c3 /.github
parent4bf903481ac49c33ac1059c1fe1e79a0e2ef8f9b (diff)
downloadvis-lspc-002041b6fb8e18b66a993c69219fe699a857f803.tar.gz
vis-lspc-002041b6fb8e18b66a993c69219fe699a857f803.zip
create github check workflow
Diffstat (limited to '.github')
-rw-r--r--.github/workflows/check.yml32
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