File tree Expand file tree Collapse file tree 1 file changed +6
-19
lines changed
Expand file tree Collapse file tree 1 file changed +6
-19
lines changed Original file line number Diff line number Diff line change 5050 mv ./generated-files/updated-spec-versions.json ./generated-files/spec_versions.json || echo "updated-spec-versions.json not found"
5151 fi
5252
53- - name : Create Pull Request
54- id : create-pr
55- uses : peter-evans/create-pull-request@v7
56- with :
57- add-paths : |
58- generated-files/historical_reports/*
59- generated-files/report.json
60- generated-files/releases.json
61- generated-files/spec_versions.json
62- generated-files/compatibility-table.md
63- branch : " test-${{ github.run_id }}-${{ inputs.execution-time }}"
64- title : " [bot] update report with data from run ${{ github.run_id }} execution time: ${{ inputs.execution-time }}"
65- signoff : true
66-
67- - name : Automerge Pull Request
68- id : automerge-pr
69- if : ${{ steps.create-pr.outputs.pull-request-number }}
70- run : gh pr merge --auto --delete-branch --squash ${{ steps.create-pr.outputs.pull-request-number }}
71-
53+ - name : Push changes
54+ id : push-changes
55+ run : |
56+ git add -u
57+ git commit -sm "[bot] update report with data from run ${{ github.run_id }} execution time: ${{ inputs.execution-time }}"
58+ git push origin main
You can’t perform that action at this time.
0 commit comments