add to GHA

.github/workflows/build-on-pull-request.yml

@@ -24,6 +24,9 @@ jobs:
       - name: Do some simple style checks
         shell: bash
         run: make -j2 checkstyle
+      - name: Check bsearch tables
+        shell: bash
+        run: make -j2 sorted
       - name: Build the tools.
         shell: bash
         run: make -j2 bin USER_CFLAGS=-Werror

.github/workflows/snapshot-on-push-master.yml

@@ -49,6 +49,9 @@ jobs:
       - name: Do some simple style checks
         shell: bash
         run: make -j2 checkstyle
+      - name: Check bsearch tables
+        shell: bash
+        run: make -j2 sorted
       - name: Build the tools.
         shell: bash
         run: |