Skip to content

Certora formally verified rewards checker #1810

Certora formally verified rewards checker

Certora formally verified rewards checker #1810

name: Pull Request Labeler
on:
- pull_request_target
jobs:
triage:
permissions:
contents: read
pull-requests: write
runs-on: ubuntu-latest
steps:
- uses: actions/labeler@v4
with:
repo-token: ${{ secrets.GITHUB_TOKEN }}
configuration-path: .github/workflows/config/pull_request_labeler.config.yml
sync-labels: true