wip

marcoieni · marcoieni · commit ed0b5cb96be2 · 2025-01-21T18:07:20.000+01:00
diff --git a/src/ci/scripts/free-disk-space.sh b/src/ci/scripts/free-disk-space.sh
@@ -62,7 +62,7 @@ removeDir() {
 
     sudo rm -rf "$dir" || true
 
-    printSavedSpace "$before" "$dir"
+    printSavedSpace "$before" "Removed $dir"
 }
 
 execAndMeasureSpaceChange() {

Original file line number	Diff line number	Diff line change
`@@ -62,7 +62,7 @@ removeDir() {`
`62`	`62`
`63`	`63`	`sudo rm -rf "$dir" \|\| true`
`64`	`64`
`65`		`- printSavedSpace "$before" "$dir"`
	`65`	`+ printSavedSpace "$before" "Removed $dir"`
`66`	`66`	`}`
`67`	`67`
`68`	`68`	`execAndMeasureSpaceChange() {`