don't set bash options, use pipes instead

[marten-seemann]

cc @mvdan

[mvdan]

out of curiosity, can you not just use $? directly in the if check?

[marten-seemann]

I tried that earlier and it didn't work. I tried again and now it works :(
Will update the PR.

[Stebalien]

note: you can also say:

if ! (
${{ inputs.run }}
); then
status = ...

I think?

[marten-seemann]

Isn't it great that there are 20 different ways to do the easiest things in bash?

[marten-seemann]

That works, but we'd lose the exit status.

[Stebalien]

Ah, I see. Yeah, that makes sense.

Isn't it great that there are 20 different ways to do the easiest things in bash?

Hm. That's way too few. We should switch everything to Perl.