Skip to content
Lint

feat: add GitHub notifications tools for managing user notifications #539

Sign in to view logs

feat: add GitHub notifications tools for managing user notifications

feat: add GitHub notifications tools for managing user notifications #539

Triggered via pull request April 12, 2025 13:43
@sridharavinashsridharavinash
synchronize #225
notifications-tooling
Status Failure
Total duration 29s
Artifacts –

lint.yaml

on: pull_request
lint
25s
lint
Fit to window
Zoom out
Zoom in

Annotations

10 errors
lint: pkg/github/notifications.go#L52
undefined: optionalParam
lint: pkg/github/server.go#L244
undefined: optionalParam) (typecheck)
lint: pkg/github/server.go#L97
undefined: client
lint: pkg/github/server.go#L96
undefined: client
lint: pkg/github/notifications.go#L166
undefined: optionalParam
lint: pkg/github/notifications.go#L67
undefined: optionalIntParamWithDefault
lint: pkg/github/notifications.go#L62
undefined: optionalIntParamWithDefault
lint: pkg/github/notifications.go#L57
undefined: optionalParam
lint: pkg/github/notifications.go#L52
undefined: optionalParam
lint: cmd/github-mcp-server/main.go#L12
could not import github.com/github/github-mcp-server/pkg/github (-: # github.com/github/github-mcp-server/pkg/github