gitHub actions: workflow dispatch

on: workflow_dispatch # for manual trigger 

See also

• GitHub, GitHub Actions, GitHub Actions Runner, Events, CodeQL, GitHub Desktop, GitHub organization, base permissions, GitHub Copilot, .gitignore, GitHub Codespaces, GitHub Marketplace, GitHub Apps, GitHub Enterprise Server, GitHub CLI (gh), Dependabot, GitHub security, .github/, GitHub code scanning, GitHub Pages, GitHub Packages, GitHub Advanced Security, GitHub Mobile, GitHub Importer, GitHub versions, SSH keys

https://docs.github.com/en/actions/using-workflows/events-that-trigger-workflows#workflow_dispatch