Skip to content

ci: make git-diff-develop work for PRs from foreign repos #41623

ci: make git-diff-develop work for PRs from foreign repos

ci: make git-diff-develop work for PRs from foreign repos #41623

Triggered via pull request September 20, 2024 21:05
Status Success
Total duration 33s
Artifacts

main.yml

on: pull_request
Check workflows
8s
Check workflows
All jobs completed
0s
All jobs completed
All jobs pass
1s
All jobs pass
Fit to window
Zoom out
Zoom in