✨ Use aggregated discovery if available #4048
GitHub Actions / PR Type
succeeded
Aug 8, 2024 in 4d 7h 28m 15s
PR Type in Title
Found ✨ PR (feature)
Details
Final title:
Use aggregated discovery if available
Loading