Skip to content

Add jimalvarez566

Add jimalvarez566 #32

Workflow file for this run

name: update-html
on:
workflow_dispatch:
pull_request_target:
branches: [main]
jobs:
update:
runs-on: ubuntu-latest
permissions:
contents: write
id-token: write
steps:
- name: Checkout
uses: actions/checkout@v4
with:
repository: ${{ github.event.pull_request.head.repo.full_name }}
ref: ${{ github.event.pull_request.head.sha }}
- name: Set up Pandoc
uses: r-lib/actions/setup-pandoc@v2
- name: Run build script
id: build
run: |
bash build.sh
if git diff --exit-code --quiet; then
echo "updated=0" >> $GITHUB_OUTPUT
else
echo "updated=1" >> $GITHUB_OUTPUT
fi
- name: Commit and push if changes
if: steps.build.outputs.updated == '1'
run: |
git config --global user.email "[email protected]"
git config --global user.name "acmcsufoss"
git commit -am "Update HTML"
git push origin HEAD:${{ github.event.pull_request.head.ref }}
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}