Label PR based on Comment

`lean --memory` flag results in error #16777

Sign in to view logs

Summary
Jobs
- update-label
Run details
- Usage
- Workflow file

Triggered via issue September 5, 2025 19:32

tydeu

commented on #9879 1861cc6

Status Skipped

Total duration 1s

Artifacts –

labels-from-comments.yml

on: issue_comment