ci: adds a build with make tags

diff --git a/.github/workflows/builds.yml b/.github/workflows/builds.yml
index 788973e514be20f8fdbbdf0046e3562031084ddc..75650dc5b1ea81c91cd7e0d448e5f19ef0d688a4 100644 (file)
--- a/.github/workflows/builds.yml
+++ b/.github/workflows/builds.yml
@@ -309,7 +309,8 @@ jobs:
                 rustc \
                 software-properties-common \
                 zlib1g \
-                zlib1g-dev
+                zlib1g-dev \
+                exuberant-ctags
       - name: Install Coccinelle
         run: |
           add-apt-repository -y ppa:npalix/coccinelle
@@ -322,6 +323,7 @@ jobs:
       - run: ./autogen.sh
       - run: ./configure --enable-unittests --enable-coccinelle
       - run: make -j2
+      - run: make tags
       - name: Running unit tests and cocci checks
         # Set the concurrency level for cocci.
         run: CONCURRENCY_LEVEL=2 make check