Auto Label Issues and PRs

Fix type unification bug with `int' args #244

Sign in to view logs

Summary
Jobs
- label
Run details
- Usage
- Workflow file

Triggered via pull request July 10, 2025 10:37

ChrisDodd

opened #5346

Status Success

Total duration 7s

Artifacts –

auto-label.yml

on: pull_request_target