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

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

jasperblues merged 1 commit into

mainliberation-data/drivine-python:mainfrom

release-gate-trustliberation-data/drivine-python:release-gate-trustCopy head branch name to clipboard