Skip to content

Commit a09d499

Browse files
committed
Remove unwanted files after build
1 parent ab3e8b0 commit a09d499

File tree

1 file changed

+17
-8
lines changed

1 file changed

+17
-8
lines changed

.github/workflows/repro_check.yml

+17-8
Original file line numberDiff line numberDiff line change
@@ -34,20 +34,32 @@ jobs:
3434
echo "Present Directory : `pwd`"
3535
echo "work contents : `ls ..`"
3636
37-
- name: Build source 1
37+
- name: Build and store binaries from source 1
3838
run: |
3939
echo "Repo storage available: `df -h .`"
4040
cd ../buildA
4141
SOURCE_DIR=$(dirname $(find . -maxdepth 2 -name x.py))
4242
$SOURCE_DIR/configure --set rust.channel=nightly
43-
$SOURCE_DIR/x.py build --stage 1 -j8
43+
$SOURCE_DIR/x.py build --stage 1 -j$(($(nproc)*2/3))
44+
rm -rf $SOURCE_DIR
45+
STAGE1_DIR=`find build -name stage1`
46+
cp -r "$STAGE1_DIR" .
47+
echo "Contents stage 1 dir : `ls stage1`"
48+
rm -rf build
4449
45-
- name: Build source 2
50+
- name: Build and store binaries from source 2
4651
run: |
4752
cd ../buildA_extended
53+
echo "Repo storage available: `df -h .`"
4854
SOURCE_DIR=$(dirname $(find . -maxdepth 2 -name x.py))
4955
$SOURCE_DIR/configure --set rust.channel=nightly
50-
$SOURCE_DIR/x.py build --stage 1 -j8
56+
$SOURCE_DIR/x.py build --stage 1 -j$(($(nproc)*2/3))
57+
rm -rf $SOURCE_DIR
58+
STAGE1_DIR=`find build -name stage1`
59+
cp -r "$STAGE1_DIR" .
60+
echo "Contents stage 1 dir : `ls stage1`"
61+
rm -rf build
62+
cd ..
5163
5264
- name: Compare builds using git diff
5365
run: |
@@ -61,7 +73,4 @@ jobs:
6173
fi
6274
6375
# Perform a diff between the two builds
64-
buildA_stage1=`find buildA/build -name stage1`
65-
buildA2_stage1=`find buildA_extended/build -name stage1`
66-
diff -r $buildA_stage1/bin $buildA2_stage1/bin || echo "Differences found!"
67-
76+
diff -r buildA/stage1 buildA_extended/stage1 || echo "Differences found!"

0 commit comments

Comments
 (0)