fix

marcoieni · marcoieni · commit b27f12cc0023 · 2025-01-22T11:37:28.000+01:00
diff --git a/src/ci/scripts/free-disk-space.sh b/src/ci/scripts/free-disk-space.sh
@@ -112,7 +112,7 @@ cleanPackages() {
     sudo apt-get clean || echo "::warning::The command [sudo apt-get clean] failed failed"
 
     echo "=> Installed packages sorted by size:"
-    dpkg-query -W --showformat='${Installed-Size} ${Package}\n' | sort -nr | head -200
+    dpkg-query -W --showformat='${Installed-Size} ${Package}\n' | sort -nr | head -200 || true
 }
 
 # Remove Docker images

Original file line number	Diff line number	Diff line change
`@@ -112,7 +112,7 @@ cleanPackages() {`
`112`	`112`	`sudo apt-get clean \|\| echo "::warning::The command [sudo apt-get clean] failed failed"`
`113`	`113`
`114`	`114`	`echo "=> Installed packages sorted by size:"`
`115`		`- dpkg-query -W --showformat='${Installed-Size} ${Package}\n' \| sort -nr \| head -200`
	`115`	`+ dpkg-query -W --showformat='${Installed-Size} ${Package}\n' \| sort -nr \| head -200 \|\| true`
`116`	`116`	`}`
`117`	`117`
`118`	`118`	`# Remove Docker images`