Skip to content

Use tools tree again for ssh, coredumpctl and journalctl #7106

Use tools tree again for ssh, coredumpctl and journalctl

Use tools tree again for ssh, coredumpctl and journalctl #7106

---
# https://github.com/redhat-plumbers-in-action/differential-shellcheck#readme
name: Differential ShellCheck
on:
push:
branches:
- main
pull_request:
branches:
- main
permissions:
contents: read
jobs:
lint:
runs-on: ubuntu-24.04
permissions:
security-events: write
steps:
- name: Repository checkout
uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683
with:
fetch-depth: 0
- name: Differential ShellCheck
uses: redhat-plumbers-in-action/differential-shellcheck@cc6721c45a8800cc666de45493545a07a638d121
with:
token: ${{ secrets.GITHUB_TOKEN }}