This commit considers `$CI` to generate shorter log console output #134

	name: Differential ShellCheck
	on:
	push:
	branches:
	- main
	- rel-*
	pull_request:
	branches:
	- main
	- rel-*

	permissions:
	contents: read

	jobs:
	lint:
	runs-on: ubuntu-latest

	permissions:
	# required for all workflows
	security-events: write

	# only required for workflows in private repositories
	actions: read
	contents: read

	steps:
	- name: Repository checkout
	uses: actions/checkout@b4ffde65f46336ab88eb53be808477a3936bae11 # [email protected]
	with:
	fetch-depth: 0

	- id: ShellCheck
	name: Differential ShellCheck
	uses: redhat-plumbers-in-action/differential-shellcheck@cc6721c45a8800cc666de45493545a07a638d121 # pin@aa647ec4466543e8555c2c3b648124a9813cee44
	with:
	token: ${{ secrets.GITHUB_TOKEN }}

Provide feedback