Label PR based on Comment

feat: add `MonadControl` lemmas for `ReaderT`, `OptionT`, `StateT`, and `ExceptT` #19867

Sign in to view logs

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

Triggered via issue December 10, 2025 23:26

eric-wieser

commented on #11591 f88e503

Status Skipped

Total duration –

Artifacts –

labels-from-comments.yml

on: issue_comment