From 318c0119c6cdcfc6a43585471967052458d0b06c Mon Sep 17 00:00:00 2001 From: Nick Schonning Date: Mon, 8 Nov 2021 23:05:46 -0500 Subject: [PATCH 1/5] Infrastructure: CI and hook to check coverage file Closes #2061 --- .github/workflows/examples.yml | 24 + .../coverage-and-quality-report.html | 596 ++++++++++-------- .../coverage-and-quality/prop-coverage.csv | 2 +- .../coverage-and-quality/role-coverage.csv | 2 +- package.json | 5 +- 5 files changed, 351 insertions(+), 278 deletions(-) diff --git a/.github/workflows/examples.yml b/.github/workflows/examples.yml index d06e1df89b..e7e993e92a 100644 --- a/.github/workflows/examples.yml +++ b/.github/workflows/examples.yml @@ -9,12 +9,16 @@ on: - ".github/workflows/examples.yml" - "content/**/examples/**" - "scripts/reference-tables.*" + - "scripts/coverage-report.*" + - "coverage/**" pull_request: paths: - "package*.json" - ".github/workflows/examples.yml" - "content/**/examples/**" - "scripts/reference-tables.*" + - "scripts/coverage-report.*" + - "coverage/**" jobs: examples: @@ -36,3 +40,23 @@ jobs: - name: Ensure no git changes run: git diff --exit-code + + coverage: + runs-on: ubuntu-latest + + steps: + - uses: actions/checkout@v2 + + - name: Set up Node.js + uses: actions/setup-node@v2 + with: + cache: npm + + - name: Install dependencies + run: npm ci + + - name: Generate coverage files + run: npm run coverage-report + + - name: Ensure no git changes + run: git diff --exit-code diff --git a/content/about/coverage-and-quality/coverage-and-quality-report.html b/content/about/coverage-and-quality/coverage-and-quality-report.html index 7c2832352d..e8fc6dd013 100644 --- a/content/about/coverage-and-quality/coverage-and-quality-report.html +++ b/content/about/coverage-and-quality/coverage-and-quality-report.html @@ -51,9 +51,9 @@

About These Reports