Skip to content

[1.x] Use Official MariaDB Healthcheck Script #159

[1.x] Use Official MariaDB Healthcheck Script

[1.x] Use Official MariaDB Healthcheck Script #159

Workflow file for this run

name: Differential ShellCheck
on:
pull_request:
permissions:
contents: read
jobs:
shellcheck:
runs-on: ubuntu-latest
steps:
- name: Repository checkout
uses: actions/checkout@v4
with:
fetch-depth: 0
- name: Differential ShellCheck
uses: redhat-plumbers-in-action/differential-shellcheck@v5
with:
severity: warning
token: ${{ secrets.GITHUB_TOKEN }}