Delete unused script
diff --git a/.github/workflows/caravel_build.yml b/.github/workflows/caravel_build.yml
deleted file mode 100644
index d9cadb3..0000000
--- a/.github/workflows/caravel_build.yml
+++ /dev/null
@@ -1,53 +0,0 @@
-# name: Caravel Build
-
-# on:
-# # Runs on Every Push
-# push:
-# # Runs on Pull Requests
-# pull_request:
-# workflow_dispatch:
-
-# jobs:
-# make_ship:
-# runs-on: ubuntu-latest
-# steps:
-# - uses: actions/checkout@v2
-
-# - name: Set up QEMU
-# uses: docker/setup-qemu-action@v1
-
-# - name: Set up Docker Buildx
-# uses: docker/setup-buildx-action@v1
-
-# - name: Install Magic
-# run: bash ${GITHUB_WORKSPACE}/.github/scripts/install_magic.sh
-
-# - name: Build PDK
-# run: bash ${GITHUB_WORKSPACE}/.github/scripts/build_pdk.sh
-
-# - name: Run make ship
-# run: bash ${GITHUB_WORKSPACE}/.github/scripts/build/run-ship.sh
-# env:
-# OPENLANE_TAG: 2021.12.17_05.07.41
-
-# set_user_id:
-# runs-on: ubuntu-latest
-# steps:
-# - uses: actions/checkout@v2
-
-# - name: Set up QEMU
-# uses: docker/setup-qemu-action@v1
-
-# - name: Set up Docker Buildx
-# uses: docker/setup-buildx-action@v1
-
-# - name: Install Magic
-# run: bash ${GITHUB_WORKSPACE}/.github/scripts/install_magic.sh
-
-# - name: Build PDK
-# run: bash ${GITHUB_WORKSPACE}/.github/scripts/build_pdk.sh
-
-# - name: Run Set User ID
-# run: bash ${GITHUB_WORKSPACE}/.github/scripts/build/run-set-id.sh
-# env:
-# OPENLANE_TAG: 2021.09.16_03.28.21