Skip to content

Remove pipefail#171

Merged
julianklas merged 1 commit intobetafrom
feature/remove-set-pipefail
Apr 11, 2026
Merged

Remove pipefail#171
julianklas merged 1 commit intobetafrom
feature/remove-set-pipefail

Conversation

@fedemaleh
Copy link
Copy Markdown
Collaborator

No description provided.

@julianklas julianklas self-requested a review April 11, 2026 16:34
@julianklas julianklas merged commit c048a79 into beta Apr 11, 2026
3 checks passed
@julianklas julianklas deleted the feature/remove-set-pipefail branch April 11, 2026 16:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants