Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
ci: add hidden red alert in PR comment (#5713)
Just added a hidden comment in the "PR comments" to prevent people from editing them there. If someone tries to edit comment below, they should be guided to the right place: <img width="888" alt="Screenshot 2024-12-12 at 9 41 18 AM" src="https://github.com/user-attachments/assets/54231a0f-8038-42b0-a65a-5e9a44224435" />
- Loading branch information