diff --git a/.github/workflows/exposition-verify.yml b/.github/workflows/exposition-verify.yml
index b998c61e0f..a02882bbc8 100644
--- a/.github/workflows/exposition-verify.yml
+++ b/.github/workflows/exposition-verify.yml
@@ -102,7 +102,7 @@ jobs:
             --out ../exposition-verify \
             --jobs 2 \
             --lean /home/runner/.elan/bin/lean \
-            --baseline 207
+            --baseline 214
 
       - name: Upload verification report
         if: always()