Fix dependencies needed for doctests

penelopeysm · penelopeysm · commit f9d16c747bc4 · 2025-05-20T15:02:38.000+01:00
diff --git a/.github/workflows/DocTest.yml b/.github/workflows/DocTest.yml
@@ -42,8 +42,10 @@ jobs:
           # Develop currently checked out version of DynamicPPL
           using Pkg
           Pkg.develop(path=pwd())
+          Pkg.instantiate()
+
+          using Documenter, DynamicPPL, Distributions
 
-          using Documenter
           DocMeta.setdocmeta!(
               DynamicPPL,
               :DocTestSetup,
diff --git a/docs/Project.toml b/docs/Project.toml
@@ -1,4 +1,5 @@
 [deps]
+ADTypes = "47edcb42-4c32-4615-8424-f2b9edc5f35b"
 AbstractPPL = "7a57a42e-76ec-4ea3-a279-07e840d6d9cf"
 Accessors = "7d9f7c33-5ae7-4f3b-8dc6-eff91059b697"
 DataStructures = "864edb3b-99cc-5e75-8d2d-829cb0a9cfe8"

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,5 @@`
`1`	`1`	`[deps]`
	`2`	`+ADTypes = "47edcb42-4c32-4615-8424-f2b9edc5f35b"`
`2`	`3`	`AbstractPPL = "7a57a42e-76ec-4ea3-a279-07e840d6d9cf"`
`3`	`4`	`Accessors = "7d9f7c33-5ae7-4f3b-8dc6-eff91059b697"`
`4`	`5`	`DataStructures = "864edb3b-99cc-5e75-8d2d-829cb0a9cfe8"`