GitHub workflow_id file names

Use the workflow file name as GitHub Actions REST API workflow_id (for example, ci-poller.yml) rather than a numeric workflow ID. Chose file names over numeric IDs because GitHub endpoints accept either, while the checked-in filename is stable, self-describing, and avoids discovering or hardcoding repository-specific numeric IDs.