Back to pull request #3084

CI GitHub pipeline (hotfix) update for fetching repo name #719

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
getlabels	2s
pending	2s
passed	0s
failed	0s
	4s