More long-term work would be needed to completely generalize Dr. CI across different CI providers (i.e. other than CircleCI), but some short term solution could at least indicate the presence of Jenkins and GitHub Actions (in particular, Lint) failures.
More long-term work would be needed to completely generalize Dr. CI across different CI providers (i.e. other than CircleCI), but some short term solution could at least indicate the presence of Jenkins and GitHub Actions (in particular, Lint) failures.