Pull Request Labels

Fix naming: `constraint_to` -> `constrain_to` #1188

Sign in to view logs

Summary
Jobs
- label
Run details
- Usage
- Workflow file

Re-run triggered November 10, 2023 12:10

emilk

#3438

rinde:fix-inconsistent-naming-of-constrain

Status Success

Total duration 15s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

labels.yml

on: pull_request