Support binary-archives clean

revng · Mar 2, 2021 · 0df6b98 · 0df6b98
1 parent a6e06f5
commit 0df6b98
Showing 1 changed file with 7 additions and 6 deletions.
diff --git a/.orchestra/ci/ci-run.sh b/.orchestra/ci/ci-run.sh
@@ -214,16 +214,19 @@ if test "$PUSH_CHANGES" = 1; then
         orc fix-binary-archives-symlinks
     fi
 
+    # Ensure we have git lfs
+    git lfs >& /dev/null
+
+    # Remove old binary archives
+    orc binary-archives clean
+
     #
     # Push to binary archives
     #
     for BINARY_ARCHIVE_PATH in $(orc ls --binary-archives); do
 
         cd "$BINARY_ARCHIVE_PATH"
 
-        # Ensure we have git lfs
-        git lfs >& /dev/null
-
         git config user.email "$PUSH_BINARY_ARCHIVE_EMAIL"
         git config user.name "$PUSH_BINARY_ARCHIVE_NAME"
 
@@ -236,8 +239,6 @@ if test "$PUSH_CHANGES" = 1; then
         ls -lh
         git add .
 
-        # TODO: cleanup-binary-archives.sh
-
         if ! git diff --cached --quiet; then
             git commit -m'Automatic binary archives'
             git status
@@ -252,7 +253,7 @@ if test "$PUSH_CHANGES" = 1; then
             git push
             git lfs push origin master
         else
-            log "Nothing new to push"
+            log "No changes to push for $BINARY_ARCHIVE_PATH"
         fi
 
     done