Skip to content

ci: skip redundant build re-runs on same-repo PRs - #22

Merged
BrainInBlack merged 1 commit into
mainfrom
develop
Jul 24, 2026
Merged

ci: skip redundant build re-runs on same-repo PRs#22
BrainInBlack merged 1 commit into
mainfrom
develop

ci: skip redundant build re-runs on same-repo PRs

89b5776
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
build (24)
succeeded Jul 24, 2026 in 18s