Workaround for ARM Upgrades from RHEL8 to RHEL9.5 onwards (GRUB and kernel incompatibility) #1631

	---
	# https://github.com/redhat-plumbers-in-action/differential-shellcheck#readme

	name: Differential ShellCheck
	on:
	pull_request:
	branches: [master]

	permissions:
	contents: read

	jobs:
	lint:
	runs-on: ubuntu-latest

	permissions:
	security-events: write
	pull-requests: write

	steps:
	- name: Repository checkout
	uses: actions/checkout@v4
	with:
	fetch-depth: 0

	- name: Differential ShellCheck
	uses: redhat-plumbers-in-action/differential-shellcheck@v5
	with:
	token: ${{ secrets.GITHUB_TOKEN }}

Provide feedback