Skip to content

DRAFT: Attach schema name as tag with index usage metrics #39397

DRAFT: Attach schema name as tag with index usage metrics

DRAFT: Attach schema name as tag with index usage metrics #39397

Workflow file for this run

name: Check PR
on:
pull_request_target:
types: [opened, labeled, unlabeled, synchronize]
concurrency:
group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.sha }}
cancel-in-progress: true
jobs:
run:
uses: ./.github/workflows/pr-quick-check.yml
if: ${{ github.base_ref == 'master' }}
permissions: # These permissions need to match the ones in the included workflow, see pr-quick-check.yml for details
pull-requests: write
contents: read
with:
repo: core
secrets: inherit