diff --git a/.github/workflows/run-cn-examples.yml b/.github/workflows/run-cn-examples.yml
index f10ced27..cced83ad 100644
--- a/.github/workflows/run-cn-examples.yml
+++ b/.github/workflows/run-cn-examples.yml
@@ -61,16 +61,17 @@ jobs:
 
     - name: Install Cerberus
       run: |
-        opam switch ${{ matrix.version }}
-        eval $(opam env --switch=${{ matrix.version }})
+        opam switch with_coq
+        eval $(opam env --switch=with_coq)
         opam pin --yes --no-action add cerberus-lib .
         opam pin --yes --no-action add cerberus .
         opam install --yes cerberus
 
     - name: Install CN
       run: |
-        opam switch ${{ matrix.version }}
-        eval $(opam env --switch=${{ matrix.version }})
+        opam switch with_coq
+        eval $(opam env --switch=with_coq)
+        opam pin --yes --no-action add cerberus-lib .
         opam pin --yes --no-action add cn .
         opam install --yes cn
 
@@ -95,6 +96,6 @@ jobs:
 
     - name: Run CN Tutorial CI tests
       run: |
-        opam switch ${{ matrix.version }}
-        eval $(opam env --switch=${{ matrix.version }})
+        opam switch with_coq
+        eval $(opam env --switch=with_coq)
         USE_OPAM='' tests/run-cn-tutorial-ci.sh cn-tutorial
diff --git a/src/example-archive/check-all.sh b/src/example-archive/check-all.sh
index 8c87ccdd..1fdaba6d 100755
--- a/src/example-archive/check-all.sh
+++ b/src/example-archive/check-all.sh
@@ -19,7 +19,7 @@ subdirs=(
   "Rust" 
   "SAW" 
   "simple-examples"
-  # "coq-lemmas"
+  "coq-lemmas"
 )
 FAILURE=0