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 \