Skip to content

chore: Update GreptimeDB version to v1.0.0-beta.3 #147

chore: Update GreptimeDB version to v1.0.0-beta.3

chore: Update GreptimeDB version to v1.0.0-beta.3 #147

Workflow file for this run

name: 'PR Labeling'
on:
pull_request_target:
types:
- opened
- synchronize
- reopened
permissions:
contents: read
pull-requests: write
issues: write
jobs:
labeler:
runs-on: ubuntu-latest
steps:
- name: Checkout sources
uses: actions/checkout@v4
- uses: actions/labeler@v5
with:
configuration-path: ".github/labeler.yaml"
repo-token: "${{ secrets.GITHUB_TOKEN }}"
sync-labels: true
size-label:
runs-on: ubuntu-latest
steps:
- uses: pascalgn/[email protected]
env:
GITHUB_TOKEN: "${{ secrets.GITHUB_TOKEN }}"