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: