This check has been archived and is scheduled for deletion.
Learn more about checks retention
GitHub Actions / PR Desc
succeeded
Sep 25, 2023 in 0s
Basic PR Descriptiveness Check
Success
Details
Your PR description looks okay!
Loading