chore: pin GitHub Actions to SHA#86

jespino wants to merge 1 commit intomaingitpod-io/gitpod-sdk-typescript:mainfrom

je/pin-github-actionsgitpod-io/gitpod-sdk-typescript:je/pin-github-actionsCopy head branch name to clipboard