diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
index e9b45fae6..8dd0a6129 100644
--- a/.github/workflows/CI.yml
+++ b/.github/workflows/CI.yml
@@ -63,7 +63,7 @@ jobs:
       - uses: julia-actions/julia-processcoverage@v1
       - uses: codecov/codecov-action@v5
         with:
-          file: lcov.info
+          token: ${{ secrets.CODECOV_TOKEN }}
 
   aqua:
     name: Aqua
@@ -129,7 +129,7 @@ jobs:
       - uses: julia-actions/julia-processcoverage@v1
       - uses: codecov/codecov-action@v5
         with:
-          file: lcov.info
+          token: ${{ secrets.CODECOV_TOKEN }}
 
   doctest:
     name: Doctest
@@ -138,17 +138,15 @@ jobs:
       - uses: actions/checkout@v4
       - uses: julia-actions/setup-julia@v2
         with:
-          version: "1.9"
+          # we'll restrict doctests to a minor version, to avoid failures due
+          # to printing differences between Julia (minor) versions
+          version: "1.11"
       - uses: julia-actions/julia-buildpkg@v1
       - name: Set up documentation environment
-        run: |
-          using Pkg
-          Pkg.develop(path=".")
-          Pkg.instantiate()
-        shell: julia --color=yes --project=docs/ {0}
+        run: make docs-manifest
       - name: Check doctests
-        run: julia --color=yes --project=docs/ --code-coverage docs/make.jl --doctest
+        run: make check-doctests
       - uses: julia-actions/julia-processcoverage@v1
       - uses: codecov/codecov-action@v5
         with:
-          file: lcov.info
+          token: ${{ secrets.CODECOV_TOKEN }}
diff --git a/Makefile b/Makefile
index 2454001da..2985e74ea 100644
--- a/Makefile
+++ b/Makefile
@@ -8,7 +8,7 @@ help:
 
 docs/Manifest.toml: docs/Project.toml
 	@echo "Instantiating the docs/ environment:"
-	${JULIA} --color=yes --project=docs/ -e 'using Pkg; Pkg.develop(path="."); Pkg.instantiate()'
+	${JULIA} --color=yes --project=docs/ -e 'using Pkg; Pkg.instantiate()'
 
 docs-manifest:
 	rm -f docs/Manifest.toml
@@ -20,6 +20,9 @@ docs: docs/Manifest.toml
 fix-doctests: docs/Manifest.toml
 	${JULIA} --project=docs/ docs/make.jl --fix-doctests
 
+check-doctests: docs/Manifest.toml
+	${JULIA} --project=docs/ docs/make.jl --doctest
+
 changelog:
 	${JULIA} --project=docs/ docs/changelog.jl
 
diff --git a/docs/Project.toml b/docs/Project.toml
index 40ea80183..c2c571a0d 100644
--- a/docs/Project.toml
+++ b/docs/Project.toml
@@ -12,3 +12,6 @@ URIs = "5c2747f8-b7ea-4ff2-ba2e-563bfd36b1d4"
 Changelog = "1"
 Documenter = "1"
 DocumenterMermaid = "0.1"
+
+[sources]
+JuliaHub = { path = ".." }