From 9e452fe3147ef40a6bc08170dac60dc36c5c6b6e Mon Sep 17 00:00:00 2001
From: Fabian Schuiki <fabian@schuiki.ch>
Date: Thu, 2 Apr 2026 10:35:30 -0700
Subject: [PATCH] CI debugging

---
 .github/workflows/buildAndTest.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/buildAndTest.yml b/.github/workflows/buildAndTest.yml
index b8014fe2a1c8..49eb46d0ebd0 100644
--- a/.github/workflows/buildAndTest.yml
+++ b/.github/workflows/buildAndTest.yml
@@ -214,6 +214,8 @@ jobs:
       - name: Build and Test CIRCT
         run: |
           mkdir build
+          # HACK: print regular statistics to diagnose CI issues
+          nohup bash -c "while true; do echo && echo '===---' && free -h && df -h build && pstree -p $$ && echo '===---' && echo; sleep 15; done" &
           cd build
           cmake .. \
             -GNinja \