From bc192030711737412622615bc68bd236fe35c1d3 Mon Sep 17 00:00:00 2001 From: Dario Tranchitella Date: Thu, 22 Dec 2022 08:58:07 +0100 Subject: [PATCH] chore(gi): checking diff and docs alignement --- .github/workflows/ci.yaml | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml index 8764218..b3f34b4 100644 --- a/.github/workflows/ci.yaml +++ b/.github/workflows/ci.yaml @@ -40,3 +40,8 @@ jobs: run: test -z "$(git ls-files --others --exclude-standard 2> /dev/null)" - name: Checking if source code is not formatted run: test -z "$(git diff 2> /dev/null)" + - run: make apidoc + - name: Checking if generated API documentation files are not aligned + run: if [[ $(git diff | wc -l) -gt 0 ]]; then echo ">>> Untracked generated files have not been committed" && git --no-pager diff && exit 1; fi + - name: Checking if generated API documentation generated untracked files + run: test -z "$(git ls-files --others --exclude-standard 2> /dev/null)"