Label PR based on Comment

chore: mark Mul.mul and HMul.hMul as match_pattern #9626

Sign in to view logs

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

Triggered via issue January 30, 2025 15:24

jcommelin

commented on #6863 5bd7569

Status Skipped

Total duration 3s

Artifacts –

labels-from-comments.yml

on: issue_comment