Pin all GitHub Actions to full commit SHAs#36

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

copilot/change-gh-workflows-to-git-shaklibio/example.pde.rcp:copilot/change-gh-workflows-to-git-shaCopy head branch name to clipboard