🌱 Reuse PR verifier workflow from project-infra #2130

Sign in to view logs

GitHub Actions / PR Issue succeeded Sep 19, 2024 in 44m 36s

Issue/PR tag in PR title

Your PR title does not contain any Issue or PR tags

View more details on GitHub Actions