Use GITHUB_SERVER_URL
to change GitHub API host for dependency graph submission
#1804
pr.yaml
on: pull_request
format
3m 15s
json-schema
1m 2s
Matrix: builds / build