Skip to content

PR And Issue Tickets Maintenance

Brian edited this page Jun 18, 2024 · 11 revisions

Useful PR Filters

PRs for those who want to help

PRs for those who want to merge

Using CI Status Filters

  • status:success Only pull requests with all successful statuses
  • status:failure Only pull requests that have statuses in the failure or error state
  • status:pending Only pull requests with no statuses or at least one status in the pending state

https://docs.github.com/en/search-github/searching-on-github/searching-issues-and-pull-requests#search-by-commit-status

Users Guide

Useful information for users that doesn't fit into Readme.

Technical Details

These are information useful for Maintainers and Developers which does not fit into code comments

Github Actions Main Branch Status

Click on a badge to jump to workflow. This is here as a useful general view of all the actions so that we may notice quicker if main branch automation is broken and where.

  • bench action status
  • build action status
  • close-issue action status
  • code-coverage action status
  • docker action status
  • editorconfig action status
  • gguf-publish action status
  • labeler action status
  • nix-ci-aarch64 action status
  • nix-ci action status
  • nix-flake-update action status
  • nix-publish-flake action status
  • python-check-requirements action status
  • python-lint action status
  • server action status
Clone this wiki locally