Skip to content

ci: remove pipefail/SIGPIPE races from shell pipelines - #10

Merged
AminDhouib merged 1 commit into
mainfrom
ci/hygiene-pipefail-crlf
Sep 14, 2026
Merged

AminDhouib merged 1 commit into
mainfrom
ci/hygiene-pipefail-crlf

Commits

Commits on Sep 14, 2026