chore: pin GitHub Actions to SHA (PDE-218)#1849

geropl merged 1 commit into

maingitpod-io/workspace-images:mainfrom

cl/pde-218-pin-ghagitpod-io/workspace-images:cl/pde-218-pin-ghaCopy head branch name to clipboard