Skip to content

Commit 00a2ce9

Browse files
committed
fixup! Refine report reference document generation
1 parent d170b24 commit 00a2ce9

File tree

3 files changed

+22
-19
lines changed

3 files changed

+22
-19
lines changed

.github/workflows/cypher-reference-documentation.yml

Lines changed: 8 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -32,20 +32,21 @@ jobs:
3232
run: |
3333
./../scripts/documentation/generateCypherReference.sh
3434
35+
- name: Use git to detect changes in the regenerated document and set generated_document_changed
36+
run: git diff --quiet || echo "generated_document_changed=true" >> $GITHUB_ENV
37+
38+
- name: Display generated_document_changed
39+
run: echo "generated_document_changed=${{ env.generated_document_changed}}"
40+
3541
- name: Archive generated cypher reference document
42+
if: env.generated_document_changed
3643
uses: actions/upload-artifact@v4
3744
with:
3845
name: cypher-reference-document
3946
path: ./cypher/CYPHER.md
4047
if-no-files-found: error
4148
retention-days: 5
4249

43-
- name: Use git to detect changes in the regenerated document and set generated_document_changed
44-
run: git diff --quiet || echo "generated_document_changed=true" >> $GITHUB_ENV
45-
46-
- name: Display generated_document_changed
47-
run: echo "generated_document_changed=${{ env.generated_document_changed}}"
48-
4950
- name: Commit generated cypher reference document if there were changes
5051
# Only run when a pull request gets merged or a commit is pushed to the main branch.
5152
# And only run when the generated document changed to avoid an empty commit or an error while committing.
@@ -58,4 +59,4 @@ jobs:
5859
git status
5960
git commit -m "${{ env.CI_COMMIT_MESSAGE }}"
6061
git status
61-
git push --verbose
62+
git push --verbose

.github/workflows/environment-variables-reference-documentation.yml

Lines changed: 7 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -32,20 +32,21 @@ jobs:
3232
run: |
3333
./documentation/generateEnvironmentVariableReference.sh
3434
35+
- name: Use git to detect changes in the regenerated document and set generated_document_changed
36+
run: git diff --quiet || echo "generated_document_changed=true" >> $GITHUB_ENV
37+
38+
- name: Display generated_document_changed
39+
run: echo "generated_document_changed=${{ env.generated_document_changed}}"
40+
3541
- name: Archive generated environment variables reference document
42+
if: env.generated_document_changed
3643
uses: actions/upload-artifact@v4
3744
with:
3845
name: environment-variables-reference-document
3946
path: ./scripts/ENVIRONMENT_VARIABLES.md
4047
if-no-files-found: error
4148
retention-days: 5
4249

43-
- name: Use git to detect changes in the regenerated document and set generated_document_changed
44-
run: git diff --quiet || echo "generated_document_changed=true" >> $GITHUB_ENV
45-
46-
- name: Display generated_document_changed
47-
run: echo "generated_document_changed=${{ env.generated_document_changed}}"
48-
4950
- name: Commit generated environment variables reference document if there were changes
5051
# Only run when a pull request gets merged or a commit is pushed to the main branch.
5152
# And only run when the generated document changed to avoid an empty commit or an error while committing.

.github/workflows/scripts-reference-documentation.yml

Lines changed: 7 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -32,20 +32,21 @@ jobs:
3232
run: |
3333
./documentation/generateScriptReference.sh
3434
35+
- name: Use git to detect changes in the regenerated document and set generated_document_changed
36+
run: git diff --quiet || echo "generated_document_changed=true" >> $GITHUB_ENV
37+
38+
- name: Display generated_document_changed
39+
run: echo "generated_document_changed=${{ env.generated_document_changed}}"
40+
3541
- name: Archive generated scripts reference document
42+
if: env.generated_document_changed
3643
uses: actions/upload-artifact@v4
3744
with:
3845
name: scripts-reference-document
3946
path: ./scripts/SCRIPTS.md
4047
if-no-files-found: error
4148
retention-days: 5
4249

43-
- name: Use git to detect changes in the regenerated document and set generated_document_changed
44-
run: git diff --quiet || echo "generated_document_changed=true" >> $GITHUB_ENV
45-
46-
- name: Display generated_document_changed
47-
run: echo "generated_document_changed=${{ env.generated_document_changed}}"
48-
4950
- name: Commit generated scripts reference document if there were changes
5051
# Only run when a pull request gets merged or a commit is pushed to the main branch.
5152
# And only run when the generated document changed to avoid an empty commit or an error while committing.

0 commit comments

Comments
 (0)