From 8eb3a75dff07b01f2010bc3e53845f4567bd8cb0 Mon Sep 17 00:00:00 2001
From: Andrew Bulat <andrii.bulat@gmail.com>
Date: Thu, 4 Jul 2024 10:51:33 +0100
Subject: [PATCH] Add spec-coverage-report workflow

---
 .github/workflows/spec-coverage-report.yml | 25 ++++++++++++++++++++++
 1 file changed, 25 insertions(+)
 create mode 100644 .github/workflows/spec-coverage-report.yml

diff --git a/.github/workflows/spec-coverage-report.yml b/.github/workflows/spec-coverage-report.yml
new file mode 100644
index 000000000..c00c42a33
--- /dev/null
+++ b/.github/workflows/spec-coverage-report.yml
@@ -0,0 +1,25 @@
+name: Spec coverage report
+on:
+  pull_request:
+  push:
+    branches:
+      - main
+
+jobs:
+  spec-coverage-report:
+    runs-on: ubuntu-latest
+    permissions:
+      deployments: write
+      id-token: write
+    steps:
+      - uses: actions/checkout@v2
+      - name: Reconfigure git to use HTTP authentication
+        run: >
+          git config --global url."https://github.com/".insteadOf
+          ssh://git@github.com/
+      - name: Use Node.js 20.x
+        uses: actions/setup-node@v1
+        with:
+          node-version: 20.x
+      - run: npm ci
+      - run: npm run speccoveragereport