No docs push preview (#507)

gdalle · web-flow · commit b93c17e918fe · 2024-09-26T15:27:28.000+02:00
diff --git a/.github/workflows/DocPreviewCleanup.yml b/.github/workflows/DocPreviewCleanup.yml
diff --git 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
@@ -26,5 +26,5 @@ deploydocs(;
     devbranch="main",
     dirname="DifferentiationInterfaceTest",
     tag_prefix="DifferentiationInterfaceTest-",
-    push_preview=true,
+    push_preview=false,
 )

Original file line number	Diff line number	Diff line change
`@@ -43,5 +43,5 @@ deploydocs(;`
`43`	`43`	`devbranch="main",`
`44`	`44`	`dirname="DifferentiationInterface",`
`45`	`45`	`tag_prefix="DifferentiationInterface-",`
`46`		`- push_preview=true,`
	`46`	`+ push_preview=false,`
`47`	`47`	`)`
Original file line number	Diff line number	Diff line change
`@@ -26,5 +26,5 @@ deploydocs(;`
`26`	`26`	`devbranch="main",`
`27`	`27`	`dirname="DifferentiationInterfaceTest",`
`28`	`28`	`tag_prefix="DifferentiationInterfaceTest-",`
`29`		`- push_preview=true,`
	`29`	`+ push_preview=false,`
`30`	`30`	`)`