Skip to content

Stats Admin: Add sorting capability to Stats column #18447

Stats Admin: Add sorting capability to Stats column

Stats Admin: Add sorting capability to Stats column #18447

name: Coverage check
on:
pull_request:
types: [labeled, unlabeled]
workflow_dispatch:
inputs:
pr:
description: PR
type: number
required: true
concurrency:
group: coverage-check-${{ github.head_ref || github.ref_name }}-${{ github.event_name == 'pull_request' && github.event.pull_request.number || inputs.pr }}-${{ github.event.pull_request.label.id || '' }}
cancel-in-progress: true
permissions:
# actions/checkout
contents: read
# Everything else uses an app token, so no need for permissions.
jobs:
code-coverage-label:
name: "Update code coverage check"
runs-on: ubuntu-latest
if: >
( github.event_name != 'pull_request' || github.event.pull_request.head.repo.full_name == github.event.pull_request.base.repo.full_name ) &&
( github.event_name == 'workflow_dispatch' || github.event.label.name == 'I don''t care about code coverage for this PR' || github.event.label.name == 'Covered by non-unit tests' || github.event.label.name == 'Coverage tests to be added later' )
timeout-minutes: 5 # 2025-11-20: Less than 30 seconds.
steps:
- name: Checkout
uses: actions/checkout@v6
- name: Get token
id: get_token
uses: ./.github/actions/gh-app-token
with:
app_id: ${{ secrets.JP_LAUNCH_CONTROL_ID }}
private_key: ${{ secrets.JP_LAUNCH_CONTROL_KEY }}
- name: Post message
env:
PR_ID: ${{ github.event_name == 'pull_request' && github.event.pull_request.number || inputs.pr }}
PR_HEAD: ${{ github.event_name == 'pull_request' && github.event.pull_request.head.sha || github.sha }}
POST_MESSAGE_TOKEN: ${{ steps.get_token.outputs.token }}
run: .github/files/coverage-munger/post-message.sh