debug

Author: meisterT

.github/workflows/integration.yml

@@ -31,6 +31,8 @@ jobs:
       - uses: actions/checkout@v4
       - name: info
         run: cat /proc/cmdline && echo && cat /proc/mounts && echo && ls -al /sys/fs/cgroup && echo && uname -a && echo && stat -fc %T /sys/fs/cgroup && echo && cat /proc/self/cgroup && cat /proc/cpuinfo
+      - name: pstree
+        run: pstree -p && exit 1
       - name: Install DOMjudge
         run: .github/jobs/baseinstall.sh all
       - name: Set up chroot