remove unnecessary sources and folders to save space

Author: biabbas

.github/workflows/repro_check.yml

@@ -23,36 +23,50 @@ jobs:
         with:
           python-version: '3.x'  # Adjust to the version you need
 
-      - name: Copy source files to two separate folders
+      - name: Copy source files to two separate folder
         run: |
           # Copy source files into two separate folders
           mkdir ../buildA ../buildA_extended
           # Copy the repo contents into both
           cp -r "$(pwd)" ../buildA
           cp -r "$(pwd)" ../buildA_extended
 
-          echo "Present Directory : `pwd`"
-          echo "work contents : `ls ..`"
+          FIRST_SOURCE=`pwd`
+          echo "Present Directory : $FIRST_SOURCE"
+          cd ..
+          echo "work contents : `ls`"
+          rm -rf "$FIRST_SOURCE"
 
-      - name: Build source 1
+      - name: Build and store binaries from source 1
         run: |
+          cd buildA
           echo "Repo storage available: `df -h .`"
-          cd ../buildA
           SOURCE_DIR=$(dirname $(find . -maxdepth 2  -name x.py))
           $SOURCE_DIR/configure --set rust.channel=nightly
-          $SOURCE_DIR/x.py build --stage 1 -j8
+          $SOURCE_DIR/x.py build --stage 1 -j$(($(nproc)*2/3))
+          rm -rf $SOURCE_DIR
+          STAGE1_DIR=`find build -name stage1`
+          cp -r "$STAGE1_DIR" .
+          echo "Contents stage 1 dir : `ls stage1`"
+          rm -rf build
+          cd ..
 
-      - name: Build source 2
+      - name: Build and store binaries from source 2
         run: |
-          cd ../buildA_extended
+          cd buildA_extended
+          echo "Repo storage available: `df -h .`"
           SOURCE_DIR=$(dirname $(find . -maxdepth 2  -name x.py))
           $SOURCE_DIR/configure --set rust.channel=nightly
-          $SOURCE_DIR/x.py build --stage 1 -j8
+          $SOURCE_DIR/x.py build --stage 1 -j$(($(nproc)*2/3))
+          rm -rf $SOURCE_DIR
+          STAGE1_DIR=`find build -name stage1`
+          cp -r "$STAGE1_DIR" .
+          echo "Contents stage 1 dir : `ls stage1`"
+          rm -rf build
+          cd ..
 
       - name: Compare builds using git diff
         run: |
-          # Go back to the root directory
-          cd ..
 
           # Ensure the directories exist
           if [[ ! -d "buildA" || ! -d "buildA_extended" ]]; then
@@ -61,7 +75,4 @@ jobs:
           fi
 
           # Perform a diff between the two builds
-          buildA_stage1=`find buildA/build -name stage1`
-          buildA2_stage1=`find buildA_extended/build -name stage1`
-          diff -r $buildA_stage1/bin $buildA2_stage1/bin || echo "Differences found!"
-
+          diff -r buildA/stage1 buildA_extended/stage1 || echo "Differences found!"