Skip to content

Milnor

Milnor #1581

name: Cleanup Doc Preview
on:
pull_request:
types: [closed]
jobs:
cleanup-doc-preview:
runs-on: ubuntu-latest
steps:
- name: Checkout gh-pages branch
uses: actions/checkout@v3
with:
ref: gh-pages
- name: Delete preview
run: |
if [ -d "previews/PR$PRNUM" ]; then
git config user.name "Documenter.jl"
git config user.email "[email protected]"
git rm -rf "previews/PR$PRNUM"
git commit -m "delete preview for $PRNUM"
git push origin gh-pages:gh-pages
fi
env:
PRNUM: ${{ github.event.number }}
# adapted from here:
# https://juliadocs.github.io/Documenter.jl/stable/man/hosting/#gh-pages-Branch
# without history cleanup