ci: Check generated metrics docs

Signed-off-by: Anna Kapuscinska <[email protected]>
cilium · Feb 28, 2024 · aa36c0d · aa36c0d
1 parent fedd884
commit aa36c0d
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/generated-files.yaml b/.github/workflows/generated-files.yaml
@@ -43,3 +43,6 @@ jobs:
             git status --porcelain
             echo "Please run 'make generate-flags' and submit your changes'"; exit 1
           fi
+      - name: Check metrics docs
+        run: |
+          make lint-metrics-md