Require PR label

Add some more type hints #197

Sign in to view logs

Summary
Jobs
- label
Run details
- Usage
- Workflow file

Triggered via pull request November 12, 2023 10:01

hugovk

labeled #181

mypy

Status Success

Total duration 15s

Artifacts –

require-pr-label.yml

on: pull_request