Skip to content

Mark pre-merge pipeline as failed if any target fails#72

Merged
joinemm merged 1 commit intotiiuae:mainfrom joinemm:pr-fail-pipelineSep 19, 2024

Commits

Commits on Sep 19, 2024