Skip to content

Prioritized labels

Drag to reorder prioritized labels and change their relative priority.

Other labels

  • Documentation
    CertiCompil / CompCert-IntrinSec
    label for documentation related things to be done