Enforce PR label

Update lint deps and add more typing #1037

Sign in to view logs

Triggered via pull request October 21, 2023 21:57

blink1073

labeled #1156

blink1073:even-more-types

Status Cancelled

Total duration 4s

Artifacts –

enforce-label.yml

on: pull_request

Annotations

1 error

enforce-label

Canceling since a higher priority waiting request for 'label-refs/pull/1156/merge' exists