diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index b0d03a13b..a5da2fc2f 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -71,7 +71,7 @@ jobs:
           # the constant below.
           make lint | tee lint.log
           num_problems=$(cat lint.log | grep ' problems (0 errors, ' | awk '{print $2}')
-          [ "$num_problems" = 773 ]
+          [ "$num_problems" = 774 ]
       - name: test
         run: |
           set -o pipefail