Skip to content

Rename TimeColumn -> IndexColumn and assorted fixes #13856

Rename TimeColumn -> IndexColumn and assorted fixes

Rename TimeColumn -> IndexColumn and assorted fixes #13856

Triggered via pull request October 8, 2024 14:38
@jleibsjleibs
opened #7636
Status Skipped
Total duration 4s
Artifacts

auto_approve.yml

on: pull_request_target
Check for approval
0s
Check for approval
Fit to window
Zoom out
Zoom in