aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--.github/workflows/check.yml39
1 files changed, 0 insertions, 39 deletions
diff --git a/.github/workflows/check.yml b/.github/workflows/check.yml
deleted file mode 100644
index fb5ddf2..0000000
--- a/.github/workflows/check.yml
+++ /dev/null
@@ -1,39 +0,0 @@
-# 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: install dependencies
- run: |
- sudo apt-get -y install luarocks
- sudo luarocks install luacheck
- # install lua-format when luarocks > 3 is in ubuntu
- # sudo luarocks install --server=https://luarocks.org/dev luaformatter
-
- # - name: check format
- # run: make check-format
-
- - name: static analysis
- run: make check-luacheck