From 1d08be06161198b332e5143531a8b2875da345b7 Mon Sep 17 00:00:00 2001 From: ccamel Date: Thu, 7 Mar 2024 21:00:47 +0100 Subject: [PATCH] ci(workflow): report diff on generated documentation discrepancy --- .github/workflows/lint.yml | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml index e2a76456..fa1769f1 100644 --- a/.github/workflows/lint.yml +++ b/.github/workflows/lint.yml @@ -4,10 +4,10 @@ on: workflow_call: push: - branches: [main] + branches: [ main ] pull_request: - branches: [main] + branches: [ main ] concurrency: group: lint-${{ github.ref }} @@ -365,6 +365,10 @@ jobs: run: | echo "❌ Documentation files has been updated." echo " Changed files : ${{ steps.verify-changed-docs-files.outputs.changed_files }}" + git diff --name-only | grep 'docs/' | while read file; do + echo "‣ Changes in $file:" + git diff HEAD $file + done echo "Please generate docs using \`cargo make docs-generate\` then commit this new documentation." exit 1