Add Extra PR labels

Optimize `locate(/type) in world` (#2008) #1208

Sign in to view logs

Summary
Jobs
- Label
Run details
- Usage
- Workflow file

Triggered via push October 3, 2024 00:42

wixoaGit

master

Status Success

Total duration 2m 13s

Artifacts –

pr-labeler.yml

on: push