Skip to content

feat: Adds prover_group_id label into fri_prover_prover_job metric #2200

feat: Adds prover_group_id label into fri_prover_prover_job metric

feat: Adds prover_group_id label into fri_prover_prover_job metric #2200

Workflow file for this run

name: Check PR title
on:
pull_request_target:
types:
- opened
- reopened
- edited
- synchronize
jobs:
lint:
runs-on: ubuntu-latest
permissions:
statuses: write
steps:
- uses: aslafy-z/conventional-pr-title-action@v3
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}