Skip to content

Set bot on owner even if bot name hasn't changed #3325

Set bot on owner even if bot name hasn't changed

Set bot on owner even if bot name hasn't changed #3325

Workflow file for this run

name: "Patch typing check"
on:
push:
branches:
- main
- staging
pull_request:
merge_group:
jobs:
patch-typing-check:
name: Run Patch Type Check
uses: codecov/gha-workflows/.github/workflows/mypy.yml@v1.2.33