Skip to content

Commit

Permalink
No docs push preview (#507)
Browse files Browse the repository at this point in the history
  • Loading branch information
gdalle authored Sep 26, 2024
1 parent 9ec4e7e commit b93c17e
Show file tree
Hide file tree
Showing 3 changed files with 2 additions and 41 deletions.
39 changes: 0 additions & 39 deletions .github/workflows/DocPreviewCleanup.yml

This file was deleted.

2 changes: 1 addition & 1 deletion DifferentiationInterface/docs/make.jl
Original file line number Diff line number Diff line change
Expand Up @@ -43,5 +43,5 @@ deploydocs(;
devbranch="main",
dirname="DifferentiationInterface",
tag_prefix="DifferentiationInterface-",
push_preview=true,
push_preview=false,
)
2 changes: 1 addition & 1 deletion DifferentiationInterfaceTest/docs/make.jl
Original file line number Diff line number Diff line change
Expand Up @@ -26,5 +26,5 @@ deploydocs(;
devbranch="main",
dirname="DifferentiationInterfaceTest",
tag_prefix="DifferentiationInterfaceTest-",
push_preview=true,
push_preview=false,
)

0 comments on commit b93c17e

Please sign in to comment.