Infrastructure: CI and hook to check coverage file

Closes #2061
w3c · Nov 6, 2023 · 318c011 · 318c011
1 parent fccb00c
commit 318c011
Show file tree

Hide file tree

Showing 5 changed files with 351 additions and 278 deletions.
diff --git 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