-
Miguel Rincon authored
This change adds a linting tab to the CI editor based on lint results provided by a GraphQL query. These results updated everytime there is an update in the content of the editor and don't provide details on each job.
5a71df2e