Skip to content

Split timestamp_s_to_datetime to date and time to avoid unnecessary computation #11149

Split timestamp_s_to_datetime to date and time to avoid unnecessary computation

Split timestamp_s_to_datetime to date and time to avoid unnecessary computation #11149

Triggered via pull request November 20, 2024 00:33
Status Success
Total duration 21m 19s
Artifacts

miri.yaml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

2 errors
MIRI
unable to access 'https://github.com/apache/arrow-rs/': Failed to connect to github.com port 443 after 135289 ms: Connection timed out
MIRI
unable to access 'https://github.com/apache/arrow-rs/': Failed to connect to github.com port 443 after 134486 ms: Connection timed out