Fix lint job failure on push events due to missing PR - #1

fbastian with Copilot wants to merge 2 commits into

Fix lint job failure on push events due to missing PR#1
fbastian with Copilot wants to merge 2 commits into
mainfrom
copilot/fix-lint-tool-list-job

Fix Lint tool-list CI failure on push events