[CI] Fail if xor didn't pass
diff --git a/.github/scripts/build/run-xor.sh b/.github/scripts/build/run-xor.sh
index 4f87a46..53ccb59 100644
--- a/.github/scripts/build/run-xor.sh
+++ b/.github/scripts/build/run-xor.sh
@@ -25,4 +25,12 @@
LOG_FILE=out.log
docker run -v $UPRJ_ROOT:$UPRJ_ROOT -v $PDK_ROOT:$PDK_ROOT -v $CARAVEL_ROOT:$CARAVEL_ROOT -e UPRJ_ROOT=$UPRJ_ROOT -e PDK_ROOT=$PDK_ROOT -e CARAVEL_ROOT=$CARAVEL_ROOT -u $(id -u $USER):$(id -g $USER) $IMAGE_NAME bash -c "cd $UPRJ_ROOT; export USER_ID=$USER_ID; make xor-wrapper | tee $LOG_FILE;"
+cnt=$(grep -oP '(?<=Total XOR differences = )[0-9]+' $LOG_FILE)
+
+echo "Total XOR differences = $cnt"
+
+if [[ $cnt -ne 0 ]]; then
+ exit 2;
+fi
+
exit 0
diff --git a/caravel b/caravel
index 02393a2..dcbff36 160000
--- a/caravel
+++ b/caravel
@@ -1 +1 @@
-Subproject commit 02393a2ffd5676ce7c16fcba89e668f94d58f21f
+Subproject commit dcbff36aa122bc101ad15fb5e3051f034e065f5b
