Labels

Something isn't working

Automated committee liveness alerts

Committee liveness alert category: committee-health-failing

Committee liveness alert category: committee-health-hung

Committee liveness alert category: infrastructure

Committee liveness alert category: committee-health-undetermined

Committee liveness alert category: committee-health-verifier-rotation

Committee liveness alert category: committee-undetermined

Pull requests that update a dependency file

Improvements or additions to documentation

This issue or pull request already exists

New feature or request

Pull requests that update GitHub Actions code

Good for newcomers

Extra attention is needed

This doesn't seem right

Pull requests that update javascript code

Further information is requested

This will not be worked on