Skip to content
Tests

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

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 #1142

Triggered via pull request October 26, 2023 10:17
@brian6932brian6932
synchronize #1429
brian6932:chore/use-gh-repo-id-when-api-is-used
Status Success
Total duration 1m 57s
Artifacts –

ci.yml

on: pull_request
WindowsPowerShell
1m 43s
WindowsPowerShell
PowerShell
1m 20s
PowerShell
Fit to window
Zoom out
Zoom in