clean branch

bksaiki · bksaiki · commit a40200c2b073 · 2024-10-18T10:40:53.000-07:00
diff --git a/infra/nightly.sh b/infra/nightly.sh
@@ -45,3 +45,5 @@ fi
 
 
 bash "nightly disabled"
+bash "cleaning installation"
+make clean
