CI: clean up docker cruft after job runs

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index c5d398a4697f2de6aaf03ba5d637d86f28b79d2b..50929a4bda0e36dd6d482df221c3c10ea5877da0 100644 (file)
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -318,3 +318,21 @@ jobs:
           USERNAME: ${{ github.repository_owner }}
           REPO_NAME: ${{ github.repository }}
           REPO_KEY: ${{ secrets.PERSONAL_ACCESS_TOKEN }}
+
+  post-ci:
+    runs-on: self-hosted
+    name: "Post-job cleanup"
+    needs:
+      - ci
+    steps:
+      - id: cleanup_containers
+        name: "Cleanup docker containers"
+        run: /usr/bin/docker container prune -f || true
+
+      - id: cleanup_volumes
+        name: "Cleanup docker volumes"
+        run: /usr/bin/docker volume prune -f || true
+
+      - id: cleanup_images
+        name: "Cleanup docker images"
+        run: /usr/bin/docker image prune -f || true