[CI] Install full caravel for build tasks like ship/setid
diff --git a/.github/scripts/build/run-ship.sh b/.github/scripts/build/run-ship.sh
index 974f366..d1c01ab 100644
--- a/.github/scripts/build/run-ship.sh
+++ b/.github/scripts/build/run-ship.sh
@@ -22,6 +22,9 @@
cd $UPRJ_ROOT
+# Install full version of caravel
+git clone https://github.com/efabless/caravel --branch develop --depth 1
+
docker run -v $UPRJ_ROOT:$UPRJ_ROOT -v $PDK_ROOT:$PDK_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; make ship;"
SHIP_FILE=$UPRJ_ROOT/gds/caravel.gds
