Make the pidfile accessible by everyone #6198

	name: Differential ShellCheck
	on:
	push:
	branches: [ main ]
	pull_request:
	branches: [ main ]

	permissions:
	contents: read

	jobs:
	lint:
	runs-on: ubuntu-latest

	permissions:
	security-events: write

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

	- id: ShellCheck
	name: Differential ShellCheck
	uses: redhat-plumbers-in-action/differential-shellcheck@v4
	with:
	exclude-path: \|
	tests/**
	examples/**/test.sh
	tmt/steps/execute/scripts/*.sh.j2
	tmt/templates/**
	token: ${{ secrets.GITHUB_TOKEN }}

	- if: ${{ always() }}
	name: Upload artifact with ShellCheck defects in SARIF format
	uses: actions/upload-artifact@v3
	with:
	name: Differential ShellCheck SARIF
	path: ${{ steps.ShellCheck.outputs.sarif }}

Provide feedback