From 70ca7eed9e7f15e66abc9c1328e6357be5ec66c6 Mon Sep 17 00:00:00 2001
From: Paul Guyot <pguyot@kallisys.net>
Date: Mon, 13 Jan 2025 21:28:49 +0100
Subject: [PATCH] Test coredumpctl

---
 .github/workflows/build-and-test.yaml | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/.github/workflows/build-and-test.yaml b/.github/workflows/build-and-test.yaml
index 5a5201fc0..c14975a4e 100644
--- a/.github/workflows/build-and-test.yaml
+++ b/.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