diff options
author | nl6720 <nl6720@gmail.com> | 2020-07-16 15:22:55 +0300 |
---|---|---|
committer | nl6720 <nl6720@gmail.com> | 2020-07-17 10:42:14 +0300 |
commit | 2993b80816be1b06f7bb57b500a47989ac3af0e9 (patch) | |
tree | 7628b7e3f85bd069a8f2d9c9d9a96a0b33687007 /.github/workflows | |
parent | ecd339278d767b9ff174964df4a75deb3e2788b0 (diff) | |
download | archiso32-2993b80816be1b06f7bb57b500a47989ac3af0e9.tar.xz |
Add GitHub Actions workflow
.github/workflows/lint.yml:
Run `make check`.
Diffstat (limited to '.github/workflows')
-rw-r--r-- | .github/workflows/lint.yml | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml new file mode 100644 index 0000000..4e778e8 --- /dev/null +++ b/.github/workflows/lint.yml @@ -0,0 +1,27 @@ +# This is a basic workflow to help you get started with Actions + +name: CI + +# Controls when the action will run. Triggers the workflow on push or pull request +# events but only for the master branch +on: + push: + branches: [ '*' ] + pull_request: + branches: [ master ] + +# 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" + lint: + # 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 + + # Runs a single command using the runners shell + - name: shellcheck + run: make check |