Label PR based on Comment

chore: move BitVec.udiv/umod/sdiv/smod after add/sub/mul/lt #7174

Sign in to view logs

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

Triggered via issue October 6, 2024 16:48

bollu

commented on #5623 0178f2b

Status Skipped

Total duration 1s

Artifacts –

labels-from-comments.yml

on: issue_comment