Skip to content
Pull Requests

chore (GitHub API): Use repo ID, instead of repo name #429

Sign in to view logs

chore (GitHub API): Use repo ID, instead of repo name

chore (GitHub API): Use repo ID, instead of repo name #429

Triggered via pull request October 25, 2023 03:07
@brian6932brian6932
opened #1429
brian6932:chore/use-gh-repo-id-when-api-is-used
Status Success
Total duration 59s
Artifacts –

pull_request.yml

on: pull_request
PullRequestHandler
44s
PullRequestHandler
Fit to window
Zoom out
Zoom in