github-websocket-pipelines-api Github has an undocumented websocket API hosted on pipelines.actions.githubusercontent.com for some realtime interactions for action runs.