Skip to content
miri

Cast from numeric/timestamp to timestamp/numeric #8815

Sign in to view logs

Cast from numeric/timestamp to timestamp/numeric

Cast from numeric/timestamp to timestamp/numeric #8815

Triggered via pull request November 25, 2023 05:02
@viiryaviirya
synchronize #5123
viirya:cast_float_timestamp
Status Success
Total duration 4m 38s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

miri.yaml

on: pull_request
MIRI
4m 25s
MIRI
Fit to window
Zoom out
Zoom in