Skip to content

Revert "chore: run propagator dialyzer on CI" #670

Revert "chore: run propagator dialyzer on CI"

Revert "chore: run propagator dialyzer on CI" #670

Workflow file for this run

name: "Pull Request Labeler"
on: [pull_request_target]
jobs:
triage:
runs-on: ubuntu-latest
steps:
- uses: actions/labeler@main
with:
repo-token: "${{ secrets.GITHUB_TOKEN }}"