File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -3,19 +3,20 @@ name: Update Docs with Code Samples from OpenAPI
33on :
44 push :
55 branches :
6- - christian/docs_deployment_step_for_gen
6+ - " christian/docs_deployment_step_for_gen"
77
88permissions :
9- contents : write # allow pushing commits back to the PR branch
9+ contents : write
1010
1111jobs :
1212 update-docs :
1313 runs-on : ubuntu-latest
14+ if : github.actor != 'github-actions[bot]' # prevent infinite loop
1415 steps :
15- - name : Checkout PR branch
16+ - name : Checkout branch
1617 uses : actions/checkout@v4
1718 with :
18- ref : ${{ github.head_ref }}
19+ ref : ${{ github.ref_name }}
1920 fetch-depth : 0
2021
2122 - name : Install Bun
3334 git config user.email "41898282+github-actions[bot]@users.noreply.github.com"
3435 git add .
3536 git commit -m "docs: update code samples from OpenAPI" || echo "No changes"
36- git push origin HEAD:${{ github.head_ref }}
37+ git push origin HEAD:${{ github.ref_name }}
You can’t perform that action at this time.
0 commit comments