Apparently I fixed a lint error.

sandstorm-io · Jul 4, 2020 · cf5c2f3 · cf5c2f3
1 parent 8c7af1e
commit cf5c2f3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -72,7 +72,7 @@ jobs:
           # the constant below.
           make lint | tee lint.log
           num_problems=$(cat lint.log | grep ' problems (0 errors, ' | awk '{print $2}')
-          [ "$num_problems" = 798 ]
+          [ "$num_problems" = 797 ]
       - name: test
         run: |
           set -o pipefail