mathlib
5f015913
- fix(.github/workflows/build): set pipefail (#1911)
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
6 years ago
fix(.github/workflows/build): set pipefail (#1911) Without `pipefail`, the shell command `false | cat` terminates successfully.
References
#1911 - fix(.github/workflows/build): set pipefail
Author
gebner
Committer
mergify[bot]
Parents
898cd708
Loading