Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Spec the filter() operator #112

Merged
merged 2 commits into from
Feb 21, 2024
Merged

Spec the filter() operator #112

merged 2 commits into from
Feb 21, 2024

Conversation

domfarolino
Copy link
Collaborator

@domfarolino domfarolino commented Feb 9, 2024 •
edited by pr-preview bot
Loading

@domfarolino domfarolino marked this pull request as ready for review February 9, 2024 16:48
chromium-wpt-export-bot pushed a commit to web-platform-tests/wpt that referenced this pull request Feb 9, 2024
@domfarolino @chromium-wpt-export-bot
DOM: Implement the filter() Observable operator
0d07031 
This CL implements the semantics specified in
https://wicg.github.io/observable/#dom-observable-filter.

See WICG/observable#112.

For WPTs:
Co-authored-by: [email protected]

[email protected]

Bug: 1485981
Change-Id: I507cd7bd4117e81e718bb31e496cc4b763d9570a
@chromium-wpt-export-bot chromium-wpt-export-bot mentioned this pull request Feb 9, 2024
Merged
@domfarolino
Copy link
Collaborator Author

Ping @benlesh

chromium-wpt-export-bot pushed a commit to web-platform-tests/wpt that referenced this pull request Feb 13, 2024
@domfarolino @chromium-wpt-export-bot
DOM: Implement the filter() Observable operator
a981d55 
This CL implements the semantics specified in
https://wicg.github.io/observable/#dom-observable-filter.

See WICG/observable#112.

For WPTs:
Co-authored-by: [email protected]

[email protected]

Bug: 1485981
Change-Id: I507cd7bd4117e81e718bb31e496cc4b763d9570a
chromium-wpt-export-bot pushed a commit to web-platform-tests/wpt that referenced this pull request Feb 14, 2024
@domfarolino @chromium-wpt-export-bot
DOM: Implement the filter() Observable operator
27ec04b 
This CL implements the semantics specified in
https://wicg.github.io/observable/#dom-observable-filter.

See WICG/observable#112.

For WPTs:
Co-authored-by: [email protected]

[email protected]

Bug: 40282760
Change-Id: I507cd7bd4117e81e718bb31e496cc4b763d9570a
chromium-wpt-export-bot pushed a commit to web-platform-tests/wpt that referenced this pull request Feb 21, 2024
@domfarolino @chromium-wpt-export-bot
DOM: Implement the filter() Observable operator
935efb1 
This CL implements the semantics specified in
https://wicg.github.io/observable/#dom-observable-filter.

See WICG/observable#112.

For WPTs:
Co-authored-by: [email protected]

[email protected]

Bug: 40282760
Change-Id: I507cd7bd4117e81e718bb31e496cc4b763d9570a
@domfarolino domfarolino merged commit 4223d5f into master Feb 21, 2024
2 checks passed
@domfarolino domfarolino deleted the filter-operator branch February 21, 2024 20:28
github-actions bot added a commit that referenced this pull request Feb 21, 2024
@domfarolino @github-actions
Spec the filter() operator (#112)
ab00560 
SHA: 4223d5f
Reason: push, by domfarolino

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
chromium-wpt-export-bot pushed a commit to web-platform-tests/wpt that referenced this pull request Feb 21, 2024
@domfarolino @chromium-wpt-export-bot
DOM: Implement the filter() Observable operator
aa5cc90 
This CL implements the semantics specified in
https://wicg.github.io/observable/#dom-observable-filter.

See WICG/observable#112.

For WPTs:
Co-authored-by: [email protected]

[email protected]

Bug: 40282760
Change-Id: I507cd7bd4117e81e718bb31e496cc4b763d9570a
chromium-wpt-export-bot pushed a commit to web-platform-tests/wpt that referenced this pull request Feb 21, 2024
@domfarolino @chromium-wpt-export-bot
DOM: Implement the filter() Observable operator
81f6dc3 
This CL implements the semantics specified in
https://wicg.github.io/observable/#dom-observable-filter.

See WICG/observable#112.

For WPTs:
Co-authored-by: [email protected]

[email protected]

Bug: 40282760
Change-Id: I507cd7bd4117e81e718bb31e496cc4b763d9570a
Reviewed-on: https://chromium-review.googlesource.com/c/chromium/src/+/5280443
Commit-Queue: Dominic Farolino <[email protected]>
Reviewed-by: Mason Freed <[email protected]>
Cr-Commit-Position: refs/heads/main@{#1263643}
chromium-wpt-export-bot pushed a commit to web-platform-tests/wpt that referenced this pull request Feb 22, 2024
@domfarolino @chromium-wpt-export-bot
DOM: Implement the filter() Observable operator
2602e04 
This CL implements the semantics specified in
https://wicg.github.io/observable/#dom-observable-filter.

See WICG/observable#112.

For WPTs:
Co-authored-by: [email protected]

[email protected]

Bug: 40282760
Change-Id: I507cd7bd4117e81e718bb31e496cc4b763d9570a
Reviewed-on: https://chromium-review.googlesource.com/c/chromium/src/+/5280443
Commit-Queue: Dominic Farolino <[email protected]>
Reviewed-by: Mason Freed <[email protected]>
Cr-Commit-Position: refs/heads/main@{#1263643}
marcoscaceres pushed a commit to web-platform-tests/wpt that referenced this pull request Feb 23, 2024
@domfarolino @marcoscaceres
DOM: Implement the filter() Observable operator
6145bab 
This CL implements the semantics specified in
https://wicg.github.io/observable/#dom-observable-filter.

See WICG/observable#112.

For WPTs:
Co-authored-by: [email protected]

[email protected]

Bug: 40282760
Change-Id: I507cd7bd4117e81e718bb31e496cc4b763d9570a
Reviewed-on: https://chromium-review.googlesource.com/c/chromium/src/+/5280443
Commit-Queue: Dominic Farolino <[email protected]>
Reviewed-by: Mason Freed <[email protected]>
Cr-Commit-Position: refs/heads/main@{#1263643}
moz-v2v-gh pushed a commit to mozilla/gecko-dev that referenced this pull request Feb 28, 2024
@domfarolino @moz-wptsync-bot
Bug 1879644 [wpt PR 44514] - DOM: Implement the filter() Observable…
2388e7b 
… operator, a=testonly

Automatic update from web-platform-tests
DOM: Implement the `filter()` Observable operator

This CL implements the semantics specified in
https://wicg.github.io/observable/#dom-observable-filter.

See WICG/observable#112.

For WPTs:
Co-authored-by: [email protected]

[email protected]

Bug: 40282760
Change-Id: I507cd7bd4117e81e718bb31e496cc4b763d9570a
Reviewed-on: https://chromium-review.googlesource.com/c/chromium/src/+/5280443
Commit-Queue: Dominic Farolino <[email protected]>
Reviewed-by: Mason Freed <[email protected]>
Cr-Commit-Position: refs/heads/main@{#1263643}

--

wpt-commits: 2602e04182050cd9e5c73d187447985eb5e2e88c
wpt-pr: 44514
ErichDonGubler pushed a commit to erichdongubler-mozilla/firefox that referenced this pull request Feb 28, 2024
@domfarolino @moz-wptsync-bot
Bug 1879644 [wpt PR 44514] - DOM: Implement the filter() Observable…
a5821da 
… operator, a=testonly

Automatic update from web-platform-tests
DOM: Implement the `filter()` Observable operator

This CL implements the semantics specified in
https://wicg.github.io/observable/#dom-observable-filter.

See WICG/observable#112.

For WPTs:
Co-authored-by: [email protected]

[email protected]

Bug: 40282760
Change-Id: I507cd7bd4117e81e718bb31e496cc4b763d9570a
Reviewed-on: https://chromium-review.googlesource.com/c/chromium/src/+/5280443
Commit-Queue: Dominic Farolino <[email protected]>
Reviewed-by: Mason Freed <[email protected]>
Cr-Commit-Position: refs/heads/main@{#1263643}

--

wpt-commits: 2602e04182050cd9e5c73d187447985eb5e2e88c
wpt-pr: 44514
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@benlesh benlesh benlesh approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@domfarolino @benlesh