Add support for the repository properties API #3537
Triggered via pull request
September 23, 2025 08:49
mbg
Status
Success
Total duration
2m 34s
Artifacts
–
Annotations
2 warnings
|
Build mode manual (ubuntu-latest, nightly-latest)
Cannot create diff range extension pack for diff-informed queries; reverting to performing full analysis.
|
|
Build mode manual (ubuntu-latest, nightly-latest)
Error retrieving diff main...github:mbg/add/properties-api: API rate limit exceeded for installation. If you reach out to GitHub Support for help, please include the request ID 7680:1F8292:37C740F:C7387C8:68D25F9D and timestamp 2025-09-23 08:51:41 UTC. - https://docs.github.com/rest/overview/rate-limits-for-the-rest-api
|