gh-workflow

Run GitHub workflows on github.com

Workflow

When the user asks to run a workflow:

1. Verify git remotes and confirm commits are pushed (MANDATORY):
   • Check remotes: git remote -v | grep github.com
   • Get current commit: git rev-parse HEAD
   • Verify commit exists on remote: git fetch github && git branch -r --contains $(git rev-parse HEAD) | grep -q github/
   • If not found, push first: git push github HEAD:main (or appropriate branch name)
   • Quick check: git fetch github && git branch -r --contains HEAD | grep -q github/ || echo "WARNING: HEAD not pushed to github"
2. Check the workflow file in .github/workflows/ to understand its trigger type and inputs
3. For workflow_dispatch workflows: trigger directly with gh workflow run
4. For push workflows: push to the remote first, then the workflow runs automatically
5. Use appropriate parameters based on the workflow's input definitions
6. For testing/iteration with matrix builds: prefer x64 over arm64 (faster provisioning)