Test coredumpctl

.github/workflows/build-and-test.yaml

@@ -319,6 +319,16 @@ jobs:
     - name: "Install deps"
       run: sudo apt install -y ${{ matrix.compiler_pkgs}} cmake gperf zlib1g-dev doxygen valgrind libmbedtls-dev
 
+    - name: Test coredumpctl
+      run: |
+        echo 'int main() { *(volatile int *)0 = 0; }' > test.c
+        gcc ./test.c
+        ./a.out || true
+        if ! coredumpctl info --no-pager a.out; then
+          echo "coredumpctl failed" >&2
+          exit 1
+        fi
+
     - name: Set cores to get stored in /cores
       run: |
         sudo mkdir /cores