PR labels

use correct capitalization of file paths to work around mypy issue #539

Sign in to view logs

Re-run triggered February 4, 2025 00:58

#342

DetachHead:main

Status Success

Total duration 16s

Artifacts –

pr-labels.yml

on: pull_request

Ensure Required Labels