Merge branch 'main' into jd_rhds-main_sync

Author: jiridanek

.github/workflows/build-notebooks-TEMPLATE.yaml

@@ -90,6 +90,8 @@ jobs:
         with:
           cache-dependency-path: "**/*.sum"
 
+      - run: sudo apt-get update
+
       - name: Login to GitHub Container Registry
         uses: docker/login-action@v3
         with:
@@ -129,6 +131,8 @@ jobs:
 
           df -h
 
+      - run: sudo apt-get install -y btrfs-compsize
+
       - name: Mount lvm overlay for podman builds
         run: |
           df -h
@@ -280,6 +284,9 @@ jobs:
 
       - name: "push|schedule|workflow_dispatch: make ${{ inputs.target }}"
         run: |
+          # print running stats on disk occupancy
+          (while true; do df -h | grep "${HOME}/.local/share/containers"; sleep 30; done) &
+
           make ${{ inputs.target }}
         if: ${{ fromJson(inputs.github).event_name == 'push' ||
           fromJson(inputs.github).event_name == 'schedule' ||
@@ -289,6 +296,9 @@ jobs:
           CONTAINER_BUILD_CACHE_ARGS: "--cache-from ${{ env.CACHE }} --cache-to ${{ env.CACHE }}"
       - name: "pull_request: make ${{ inputs.target }}"
         run: |
+          # print running stats on disk occupancy
+          (while true; do df -h | grep "${HOME}/.local/share/containers"; sleep 30; done) &
+
           make ${{ inputs.target }}
         if: "${{ fromJson(inputs.github).event_name == 'pull_request' ||
           fromJson(inputs.github).event_name == 'pull_request_target' }}"
@@ -605,3 +615,6 @@ jobs:
 
       - run: df -h
         if: "${{ !cancelled() }}"
+
+      - run: sudo compsize -x "${HOME}/.local/share/containers"
+        if: "${{ !cancelled() }}"