diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index f542454e..e302d06f 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -32,6 +32,7 @@ jobs:
         run: |
           if [[ -n $(git status --porcelain) ]]; then
               echo "::error::The table of contents is out of date. Please run 'node tools/make-toc.js' and commit the changes."
+              exit 1
           else
               echo "Table of contents is up to date!"
           fi