Skip to content

Merge branch 'master' into develop #3

Merge branch 'master' into develop

Merge branch 'master' into develop #3

name: Check bash style
on:
push:
pull_request:
schedule:
- cron: "0 0 16 * *"
jobs:
check_bash_style:
runs-on: ubuntu-latest
env:
GITHUB_PAT: ${{ secrets.GITHUB_TOKEN }}
steps:
- name: Set up Git repository
uses: actions/checkout@v2
- name: Check bash scripts for style
run: shellcheck *.sh scripts/*.sh