Back to pull request #3445

Quote schematic file names in //schem list #6259

Sign in to view logs

Annotations

4 warnings

"pull_request_target.edited" is not a known webhook name (https://developer.github.com/v3/activity/events/types/)

"pull_request_target.synchronize" is not a known webhook name (https://developer.github.com/v3/activity/events/types/)

"pull_request_target.reopened" is not a known webhook name (https://developer.github.com/v3/activity/events/types/)

"pull_request_target.opened" is not a known webhook name (https://developer.github.com/v3/activity/events/types/)

The logs for this run have expired and are no longer available.