Label PR based on Comment

feat: add forall_fin_zero and exists_fin_zero #17575

Sign in to view logs

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

Triggered via issue September 30, 2025 22:37

fgdorais

commented on #10627 d88e417

Status Skipped

Total duration 1s

Artifacts –

labels-from-comments.yml

on: issue_comment