ABORT THROWN BY INTERNAL EXCEPTION: Assertion triggered in file "/home/runner/work/duckdb-fuzzer-ci/duckdb-fuzzer-ci/src/common/types.cpp" on line 1980: type.id() == LogicalTypeId::GEOMETRY #233
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Create or Label Mirror Issue | |
| on: | |
| issues: | |
| types: | |
| - labeled | |
| env: | |
| GH_TOKEN: ${{ secrets.DUCKDBLABS_BOT_TOKEN }} | |
| TITLE_PREFIX: "[duckdb-fuzzer/#${{ github.event.issue.number }}]" | |
| PUBLIC_ISSUE_TITLE: ${{ github.event.issue.title }} | |
| jobs: | |
| create_or_label_issue: | |
| if: github.event.label.name == 'needs investigation' | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Get mirror issue number | |
| run: | | |
| gh issue list --repo duckdblabs/duckdb-internal --search "${TITLE_PREFIX}" --json title,number --jq ".[] | select(.title | startswith(\"$TITLE_PREFIX\")).number" > mirror_issue_number.txt | |
| echo "MIRROR_ISSUE_NUMBER=$(cat mirror_issue_number.txt)" >> $GITHUB_ENV | |
| - name: Print whether mirror issue exists | |
| run: | | |
| if [ "$MIRROR_ISSUE_NUMBER" == "" ]; then | |
| echo "Mirror issue with title prefix '$TITLE_PREFIX' does not exist yet" | |
| else | |
| echo "Mirror issue with title prefix '$TITLE_PREFIX' exists with number $MIRROR_ISSUE_NUMBER" | |
| fi | |
| - name: Create or label issue | |
| run: | | |
| if [ "$MIRROR_ISSUE_NUMBER" == "" ]; then | |
| gh issue create --repo duckdblabs/duckdb-internal --label "fuzzer" --title "$TITLE_PREFIX - $PUBLIC_ISSUE_TITLE" --body "See https://github.com/duckdb/duckdb-fuzzer/issues/${{ github.event.issue.number }}" > issue_url.txt | |
| echo "ISSUE_URL=$(cat issue_url.txt)" >> $GITHUB_ENV | |
| fi | |
| # all ids in this step are static, so could be hard coded to speed-up this step | |
| - name: Get Project Item Field IDs | |
| if: env.ISSUE_URL | |
| run: | | |
| ENGINEERING_PROJECT_NUMBER=43 | |
| echo "ENGINEERING_PROJECT_NUMBER=$ENGINEERING_PROJECT_NUMBER" >> $GITHUB_ENV | |
| echo "ENGINEERING_PROJECT_ID=$(gh project view $ENGINEERING_PROJECT_NUMBER --owner duckdblabs --format json --jq .id)" >> $GITHUB_ENV | |
| echo "STATUS_FIELD_ID=$(gh project field-list $ENGINEERING_PROJECT_NUMBER --owner duckdblabs --format json --jq '.fields[] | select(.name == "Status") | .id')" >> $GITHUB_ENV | |
| echo "PROJECT_FIELD_ID=$(gh project field-list $ENGINEERING_PROJECT_NUMBER --owner duckdblabs --format json --jq '.fields[] | select(.name == "Project") | .id')" >> $GITHUB_ENV | |
| echo "OPTION_ID_STATUS_NEW=$(gh project field-list $ENGINEERING_PROJECT_NUMBER --owner duckdblabs --format json --jq '.fields[] | select(.name == "Status") | .options[] | select(.name == "New") | .id')" >> $GITHUB_ENV | |
| echo "OPTION_ID_PROJECT_TESTING=$(gh project field-list $ENGINEERING_PROJECT_NUMBER --owner duckdblabs --format json --jq '.fields[] | select(.name == "Project") | .options[] | select(.name == "Testing") | .id')" >> $GITHUB_ENV | |
| - name: Create Project Item | |
| if: env.ISSUE_URL | |
| run: | | |
| echo "creating project item" | |
| gh project item-add $ENGINEERING_PROJECT_NUMBER --owner duckdblabs --url $ISSUE_URL --format json --jq .id > project_item_id.txt | |
| echo "PROJECT_ITEM_ID=$(cat project_item_id.txt)" >> $GITHUB_ENV | |
| - name: Set Project Item Status and Project Fields | |
| if: env.ISSUE_URL | |
| run: | | |
| echo "updating project issue status" | |
| gh project item-edit --project-id $ENGINEERING_PROJECT_ID --id $PROJECT_ITEM_ID --field-id $STATUS_FIELD_ID --single-select-option-id $OPTION_ID_STATUS_NEW | |
| gh project item-edit --project-id $ENGINEERING_PROJECT_ID --id $PROJECT_ITEM_ID --field-id $PROJECT_FIELD_ID --single-select-option-id $OPTION_ID_PROJECT_TESTING |