Skip to content

Expand remote APIs to allow for server-side query execution #24122

Expand remote APIs to allow for server-side query execution

Expand remote APIs to allow for server-side query execution #24122

Triggered via pull request December 18, 2024 20:19
@jleibsjleibs
synchronize #8537
Status Cancelled
Total duration 34s
Artifacts

checkboxes.yml

on: pull_request_target
Check PR checkboxes
23s
Check PR checkboxes
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Check PR checkboxes
Canceling since a higher priority waiting request for '8537-pr-checkboxes' exists
Check PR checkboxes
The operation was canceled.