chore: pin GitHub Actions to SHA (PDE-215)#21189

Ona-Security-Admin merged 1 commit intomaingitpod-io/gitpod:mainfrom

cl/pde-215-pin-ghagitpod-io/gitpod:cl/pde-215-pin-ghaCopy head branch name to clipboard