try docker system prune forced, ci-run-diff

dtcenter · Oct 2, 2023 · ff8517d · ff8517d
1 parent 2843166
commit ff8517d
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/parm/use_case_groups.json b/.github/parm/use_case_groups.json
@@ -62,7 +62,7 @@
   {
     "category": "marine_and_cryosphere",
     "index_list": "0-2",
-    "run": false
+    "run": true
   },
   {
     "category": "marine_and_cryosphere",

diff --git a/.github/workflows/testing.yml b/.github/workflows/testing.yml
@@ -196,7 +196,7 @@ jobs:
 
       # cleanup Docker images to avoid running out of disk space
       - name: Prune Docker images
-        run: echo BEFORE:; docker images; docker image prune; echo AFTER:; docker images
+        run: echo BEFORE:; docker images; docker system prune -f; echo AFTER:; docker images
       # run difference testing
       - name: Run difference tests
         id: run-diff