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

ci: remove pipefail/SIGPIPE races from shell pipelines

bf9887b
Select commit
Loading
Failed to load commit list.