Remove unnecessary traits and wrapper types from the query crate #1341
This file contains 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 Issue in downstream repos | |
on: | |
issues: | |
types: | |
- labeled | |
pull_request_target: | |
types: | |
- labeled | |
jobs: | |
doc_issue: | |
if: github.event.label.name == 'doc update required' | |
runs-on: ubuntu-20.04 | |
steps: | |
- name: create an issue in doc repo | |
uses: dacbd/[email protected] | |
with: | |
owner: GreptimeTeam | |
repo: docs | |
token: ${{ secrets.DOCS_REPO_TOKEN }} | |
title: Update docs for ${{ github.event.issue.title || github.event.pull_request.title }} | |
body: | | |
A document change request is generated from | |
${{ github.event.issue.html_url || github.event.pull_request.html_url }} | |
cloud_issue: | |
if: github.event.label.name == 'cloud followup required' | |
runs-on: ubuntu-20.04 | |
steps: | |
- name: create an issue in cloud repo | |
uses: dacbd/[email protected] | |
with: | |
owner: GreptimeTeam | |
repo: greptimedb-cloud | |
token: ${{ secrets.DOCS_REPO_TOKEN }} | |
title: Followup changes in ${{ github.event.issue.title || github.event.pull_request.title }} | |
body: | | |
A followup request is generated from | |
${{ github.event.issue.html_url || github.event.pull_request.html_url }} |