Skip to content

Release: skip the CI gate when the same tree already passed CI (port of drivine#431) - #271

Merged
jasperblues merged 1 commit into
mainfrom
release-gate-trust
Oct 29, 2026
Merged

Release: skip the CI gate when the same tree already passed CI (port of drivine#431)#271
jasperblues merged 1 commit into
mainfrom
release-gate-trust

Skip the release gate when CI has already passed on the same tree

0531f3d
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
test (Oracle)
succeeded Oct 29, 2026 in 10m 15s