actions
/
batch-example-2
4
0
Fork 0
Code Issues Pull Requests 1 Actions Packages Projects Releases 9 Wiki Activity

commit message
target / format (pull_request) Successful in 1m11s Details
push / format (push) Successful in 1m4s Details
target / document (pull_request) Successful in 3m3s Details
target / schema (pull_request) Successful in 36s Details
push / document (push) Successful in 2m41s Details
target / review (pull_request) Successful in 35s Details
push / schema (push) Successful in 34s Details

This commit is contained in:
gilesb 2023-11-23 00:27:31 +00:00
parent 8d38989ff4
commit fe7ad54d4f
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
.github/workflows/push.yml vendored
View File

@ -57,6 +57,8 @@ jobs:
with: with:
token: ${{ secrets.BOT_TOKEN }} token: ${{ secrets.BOT_TOKEN }}
# fetch-depth: '1' # fetch-depth: '1'
- id: get_head_commit_title
run: echo "title=$(git log --format=%B -n 1 HEAD | head -n 1)" >> $GITHUB_OUTPUT
- uses: actions/setup-node@v3 - uses: actions/setup-node@v3
with: with:
node-version: '20.9.0' node-version: '20.9.0'
@ -88,7 +90,7 @@ jobs:
if: steps.has-changes.outputs.changes == 'true' if: steps.has-changes.outputs.changes == 'true'
run: | run: |
git add -A git add -A
git commit -a -m "documented ${{ github.event.head_commit.message }}" git commit -a -m "documented ${{ steps.get-commit-title.outputs.text }}"
git push origin HEAD git push origin HEAD
exit 1 exit 1
schema: schema: