Skip to content

Add job to signal to branch protection that all other jobs have succeeded.#443

Merged
joshlf merged 1 commit intomainfrom ci-omnibusOct 2, 2023

Commits

Commits on Oct 2, 2023