Use [sources] for the docs project

Now we don't have to explicitly dev the package project, which is kinda nice.
JuliaInterop · Oct 16, 2024 · 78b48a1 · 78b48a1
1 parent e5a701f
commit 78b48a1
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -73,10 +73,7 @@ jobs:
         with:
           version: '1'
       - run: |
-          julia --project=docs -e '
-            using Pkg
-            Pkg.develop(PackageSpec(path=pwd()))
-            Pkg.instantiate()'
+          julia --project=docs -e 'using Pkg; Pkg.instantiate()'
       - run: |
           julia --project=docs -e '
             using Documenter: doctest

diff --git a/docs/Project.toml b/docs/Project.toml
@@ -2,3 +2,6 @@
 Changelog = "5217a498-cd5d-4ec6-b8c2-9b85a09b6e3e"
 Documenter = "e30172f5-a6a5-5a46-863b-614d45cd2de4"
 ZMQ = "c2297ded-f4af-51ae-bb23-16f91089e4e1"
+
+[sources]
+ZMQ = { path = ".." }