Label PR based on Comment

"Internalizing" external reasoning about monadic actions (`SatisfiesM`) #1382

Sign in to view logs

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

The logs for this run have expired and are no longer available.