@@ -54,6 +54,7 @@ runs:
SKIP_VENDOR_BOOT=1 \
SKIP_EXT_MODULES=1 \
SKIP_CP_KERNEL_HDR=1 \
+ SKIP_MRPROPER=1 \
OUT_DIR="/home/runner/out" \
LTO=thin \
BUILD_CONFIG=common/build.config.gki.aarch64 \