ci: Make filter script less error-prone (#49670)
The failure in #49661 was caused by a broken pipe, which then led to tests not being ran. Co-authored-by: Marshall Bowers <marshall@zed.dev> Before you mark this PR as ready for review, make sure that you have: - [ ] Added a solid test coverage and/or screenshots from doing manual testing - [ ] Done a self-review taking into account security and performance aspects - [ ] Aligned any UI changes with the [UI checklist](https://github.com/zed-industries/zed/blob/main/CONTRIBUTING.md#uiux-checklist) Release Notes: - N/A Co-authored-by: Marshall Bowers <marshall@zed.dev>
This commit is contained in:
1 parent
94b9628d42
commit
bba415b2b8
3 files changed
+3
No files matched your search
@@ -23,6 +23,7 @@ jobs:
|
||||
- id: filter
|
||||
name: filter
|
||||
run: |
|
||||
set -euo pipefail
|
||||
if [ -z "$GITHUB_BASE_REF" ]; then
|
||||
echo "Not in a PR context (i.e., push to main/stable/preview)"
|
||||
COMPARE_REV="$(git rev-parse HEAD~1)"
|
||||
|
||||
@@ -26,6 +26,7 @@ jobs:
|
||||
- id: filter
|
||||
name: filter
|
||||
run: |
|
||||
set -euo pipefail
|
||||
if [ -z "$GITHUB_BASE_REF" ]; then
|
||||
echo "Not in a PR context (i.e., push to main/stable/preview)"
|
||||
COMPARE_REV="$(git rev-parse HEAD~1)"
|
||||
|
||||
Reference in new issue
Block a user