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