Separate doctests into their own test group

Author: penelopeysm

.github/workflows/CI.yml

@@ -60,6 +60,10 @@ jobs:
             os: macos-latest
             arch: aarch64
             num_threads: 2
+        test_group:
+          - DynamicPPL
+          - Doctests
+          - Downstream
 
     steps:
       - uses: actions/checkout@v4
@@ -75,7 +79,7 @@ jobs:
 
       - uses: julia-actions/julia-runtest@v1
         env:
-          GROUP: All
+          GROUP: ${{ matrix.test_group }}
           JULIA_NUM_THREADS: ${{ matrix.runner.num_threads }}
 
       - uses: julia-actions/julia-processcoverage@v1

test/runtests.jl

@@ -89,7 +89,9 @@ include("test_util.jl")
             @test_throws ErrorException prob"..."
             @test_throws ErrorException logprob"..."
         end
+    end
 
+    if GROUP == "All" || GROUP == "Doctests"
         @testset "doctests" begin
             DocMeta.setdocmeta!(
                 DynamicPPL,