Label PR based on Comment

feat: shiftRight bitblasting theorems #3

Sign in to view logs

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

Triggered via issue July 30, 2024 19:20

commented on #11 92cca5e

Status Skipped

Total duration 3s

Artifacts –

labels-from-comments.yml

on: issue_comment