github/workflows: disable precheck
diff --git a/.github/workflows/user_project_ci.yml b/.github/workflows/user_project_ci.yml
index 6d857f2..021aa1f 100644
--- a/.github/workflows/user_project_ci.yml
+++ b/.github/workflows/user_project_ci.yml
@@ -145,67 +145,9 @@
openlane/tiny_user_project/runs/tiny_user_project/tmp/synthesis/post_techmap.dot
key: ${{ runner.os }}-gds-${{ github.run_id }}
- precheck:
- continue-on-error: true
- needs:
- - gds
- runs-on: ubuntu-latest
- steps:
- - uses: actions/checkout@v3
-
- - name: restore setup
- uses: actions/cache@v3
- with:
- path: |
- ${{ env.PDK_ROOT }}
- ${{ env.OPENLANE_ROOT }}
- caravel/
- mgmt_core_wrapper/
- openlane.tar
- key: ${{ runner.os }}-setup-${{ env.SETUP_CACHE_KEY }}
-
- - name: setupk
- run: |
- make precheck
-
- - name: restore gds cache
- uses: actions/cache@v3
- with:
- path: |
- def/
- gds/
- lef/
- mag/
- maglef/
- sdc/
- sdf/
- signoff/
- spef/
- spi/
- verilog/
- openlane/tiny_user_project/runs/tiny_user_project/tmp/synthesis/post_techmap.dot
- key: ${{ runner.os }}-gds-${{ github.run_id }}
-
- - name: check
- run: |
- make run-precheck
-
- - name: debug
- run: |
- find precheck_results/
-
- - name: summary
- run: |
- cat << EOF >> $GITHUB_STEP_SUMMARY
- \`\`\`
- `cat precheck_results/*/logs/precheck.log`
- \`\`\`
- EOF
-
commit:
if: github.ref_name == 'main'
needs:
- - precheck
- gds
runs-on: ubuntu-latest
steps:
