chore: pin GitHub Actions to SHA#89

jespino wants to merge 1 commit into

maingitpod-io/gitpod-sdk-python:mainfrom

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