Skip to content

Commit 32d3e60

Browse files
committed
🔨 Rework commit message in generated docs
1 parent dd77f04 commit 32d3e60

File tree

1 file changed

+3
-1
lines changed

1 file changed

+3
-1
lines changed

.github/workflows/generate-docs.yaml

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -43,7 +43,9 @@ jobs:
4343
This commits the output of the `generate-docs` tool.
4444
4545
Source-commit: ${{ github.sha }}
46-
Workflow-run-id: ${{ github.run_id }}
46+
Github-workflow-id: ${{ github.run_id }}
47+
Github-workflow: ${{ github.server_url }}/${{ github.repository }}/actions/runs/${{ github.run_id }}
48+
Co-authored-by: Matthew Rodusek <[email protected]>
4749
4850
- name: Push generated changes
4951
if: fromJson(steps.add.outputs.staged)

0 commit comments

Comments
 (0)