ci: Use GITHUB_SHA instead of 'develop'
1 related merge request: !641 Develop
branch
4 jobs
12 minutes 55 seconds, queued for 3 seconds
Me haz all ze repositoriiiiiiiiiiiiiiiiiies