security: pin all GitHub Actions to commit SHAs with version comments#37

peterkir merged 2 commits intomainklibio/example.pde.rcp:mainfrom

copilot/switch-github-actions-to-git-shaklibio/example.pde.rcp:copilot/switch-github-actions-to-git-shaCopy head branch name to clipboard