PR #1911 fix(.github/workflows/build): set pipefail

fix(.github/workflows/build): set pipefail #1911

mergify merged 2 commits into master from actions_pipefail

fix(.github/workflows/build): set pipefail

12641922

Merge remote-tracking branch 'origin/master' into actions_pipefail

c7554970

robertylewis approved these changes on 2020-01-27

robertylewis added ready-to-merge

mergify merged 5f015913 into master 6 years ago

mergify deleted the actions_pipefail branch 6 years ago

Reviewers

robertylewis

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone