diff --git a/.github/workflows/DocPreviewCleanup.yml b/.github/workflows/DocPreviewCleanup.yml deleted file mode 100644 index 7c125b254..000000000 --- a/.github/workflows/DocPreviewCleanup.yml +++ /dev/null @@ -1,39 +0,0 @@ -name: Doc Preview Cleanup - -on: - pull_request: - types: [closed] - -# Ensure that only one "Doc Preview Cleanup" workflow is force pushing at a time -concurrency: - group: doc-preview-cleanup - cancel-in-progress: false - -jobs: - doc-preview-cleanup: - runs-on: ubuntu-latest - permissions: - contents: write - strategy: - fail-fast: false - matrix: - package: - - DifferentiationInterface - - DifferentiationInterfaceTest - steps: - - name: Checkout gh-pages branch - uses: actions/checkout@v4 - with: - ref: gh-pages - - name: Delete preview and history + push changes - run: | - if [ -d "${preview_dir}" ]; then - git config user.name "Documenter.jl" - git config user.email "documenter@juliadocs.github.io" - git rm -rf "${preview_dir}" - git commit -m "delete preview" - git branch gh-pages-new $(echo "delete history" | git commit-tree HEAD^{tree}) - git push --force origin gh-pages-new:gh-pages - fi - env: - preview_dir: ${{ matrix.package }}/previews/PR${{ github.event.number }} \ No newline at end of file diff --git a/DifferentiationInterface/docs/make.jl b/DifferentiationInterface/docs/make.jl index d83094900..b994288af 100644 --- a/DifferentiationInterface/docs/make.jl +++ b/DifferentiationInterface/docs/make.jl @@ -43,5 +43,5 @@ deploydocs(; devbranch="main", dirname="DifferentiationInterface", tag_prefix="DifferentiationInterface-", - push_preview=true, + push_preview=false, ) diff --git a/DifferentiationInterfaceTest/docs/make.jl b/DifferentiationInterfaceTest/docs/make.jl index 693b2aa25..df1221afa 100644 --- a/DifferentiationInterfaceTest/docs/make.jl +++ b/DifferentiationInterfaceTest/docs/make.jl @@ -26,5 +26,5 @@ deploydocs(; devbranch="main", dirname="DifferentiationInterfaceTest", tag_prefix="DifferentiationInterfaceTest-", - push_preview=true, + push_preview=false, )