Label PR based on Comment

chore: release triggers update of release.lean-lang.org #4876

Sign in to view logs

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

Triggered via issue June 21, 2024 20:06

nomeata

commented on #4531 073b2cf

Status Skipped

Total duration 1s

Artifacts –

labels-from-comments.yml

on: issue_comment