Skip to content

Catch-up merge from master into branch/2023-01-19/review-procedure #428

Catch-up merge from master into branch/2023-01-19/review-procedure

Catch-up merge from master into branch/2023-01-19/review-procedure #428

# .github/workflows/shell-script-check.yml -- check shell scripts
#
# This is a GitHub CI workflow
# <https://docs.github.com/en/actions/using-workflows/about-workflows>
# to check shell scripts.
name: shell script check
on:
# Run as part of CI checks on branch push and on merged pull request.
- push
- pull_request
- workflow_dispatch # allow manual triggering
jobs:
check-shell-scripts:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- name: Install shellcheck
run: sudo apt-get install -y shellcheck
- name: Check shell scripts
run: tool/check-shell-scripts