add pipefail to CI workflows#929
Merged
prjemian merged 11 commits intomainfrom 905-CI-false-positivesFeb 27, 2024
+294-415
Commits
Commits on Feb 26, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed