mirror of
https://github.com/github/codeql-action.git
synced 2026-10-03 17:41:28 +00:00
Exclude pull requests from actions/runs request
This will save time when fetcing the current run and we don't use the pull requests for anything anyway. It is ok to leave out.
This commit is contained in:
2
lib/actions-util.js
generated
2
lib/actions-util.js
generated
@@ -357,7 +357,7 @@ async function getWorkflowPath() {
|
||||
const repo = repo_nwo[1];
|
||||
const run_id = Number((0, util_1.getRequiredEnvParam)("GITHUB_RUN_ID"));
|
||||
const apiClient = api.getActionsApiClient();
|
||||
const runsResponse = await apiClient.request("GET /repos/:owner/:repo/actions/runs/:run_id", {
|
||||
const runsResponse = await apiClient.request("GET /repos/:owner/:repo/actions/runs/:run_id?exclude_pull_requests=true", {
|
||||
owner,
|
||||
repo,
|
||||
run_id,
|
||||
|
||||
File diff suppressed because one or more lines are too long
@@ -424,7 +424,7 @@ async function getWorkflowPath(): Promise<string> {
|
||||
|
||||
const apiClient = api.getActionsApiClient();
|
||||
const runsResponse = await apiClient.request(
|
||||
"GET /repos/:owner/:repo/actions/runs/:run_id",
|
||||
"GET /repos/:owner/:repo/actions/runs/:run_id?exclude_pull_requests=true",
|
||||
{
|
||||
owner,
|
||||
repo,
|
||||
|
||||
Reference in New Issue
Block a user