Merge branch 'listen-task-bot-set-typing' #265
Annotations
3 warnings
server/src/github_webhooks.rs#L5
field `comment` is never read
|
server/src/github_webhooks.rs#L10
fields `issue_url`, `user`, and `body` are never read
|
server/src/github_webhooks.rs#L17
field `login` is never read
|
This job succeeded
Loading