Skip to content

Merge branch 'teams-tool' of https://github.com/github/github-mcp-ser… #1944

Merge branch 'teams-tool' of https://github.com/github/github-mcp-ser…

Merge branch 'teams-tool' of https://github.com/github/github-mcp-ser… #1944

Triggered via push August 11, 2025 14:43
Status Cancelled
Total duration 1m 20s
Artifacts
Matrix: analyze
Fit to window
Zoom out
Zoom in

Annotations

5 errors
Analyze (actions)
The operation was canceled.
Analyze (actions)
Canceling since a higher priority waiting request for CodeQL-refs/heads/teams-tool exists
CodeQL
Canceling since a higher priority waiting request for CodeQL-refs/heads/teams-tool exists
Analyze (go)
The operation was canceled.
Analyze (go)
Canceling since a higher priority waiting request for CodeQL-refs/heads/teams-tool exists