The issues appearing above are selected by this filter, i.e. any issue with the "CI" label is shown.