Skip to content

docs: tempo panels #597

docs: tempo panels

docs: tempo panels #597

name: On Pull Requests
on:
pull_request:
types:
- opened
- edited
- synchronize
- reopened
# You can use the merge_group event to trigger your GitHub Actions workflow when
# a pull request is added to a merge queue
# https://docs.github.com/en/repositories/configuring-branches-and-merges-in-your-repository/configuring-pull-request-merges/managing-a-merge-queue#triggering-merge-group-checks-with-github-actions
merge_group:
concurrency:
# Cancel any running workflow for the same branch when new commits are pushed.
# We group both by ref_name (available when CI is triggered by a push to a branch/tag)
# and head_ref (available when CI is triggered by a PR).
group: "on-pull-requests-${{ github.ref_name }}-${{ github.head_ref }}"
cancel-in-progress: false
jobs:
linting-and-tests:
name: Linting and Tests
# Skip this job if the commit was made by github-actions[bot]
if: github.actor != 'github-actions[bot]'
permissions:
contents: read
security-events: write
id-token: write # Required for Workload Identity Federation
uses: ./.github/workflows/linting-and-tests.yml