Skip to content

[1.4.0] Queries don’t terminate since type change of .arrow() #3

[1.4.0] Queries don’t terminate since type change of .arrow()

[1.4.0] Queries don’t terminate since type change of .arrow() #3

Triggered via issue October 2, 2025 10:56
Status Success
Total duration 1m 9s
Artifacts
add_needs_reproducible_example_comment
0s
add_needs_reproducible_example_comment
create_or_label_mirror_issue
8s
create_or_label_mirror_issue
Fit to window
Zoom out
Zoom in