a bit cleaner, also build dbgsh

2025-06-12 21:31:05 +02:00
parent b2616eac0d
commit 505160f169
3 changed files with 17 additions and 5 deletions
--- a/.github/workflows/build-on-pull-request.yml
+++ b/.github/workflows/build-on-pull-request.yml
@@ -29,7 +29,7 @@ jobs:
        run: make -j2 bin USER_CFLAGS=-Werror
      - name: Build the dbginfo example
        shell: bash
-        run: make -j2 -C src dbginfo
+        run: make -j2 -C src test
      - name: Build the utilities.
        shell: bash
        run: make -j2 util