Skip to content
Back to pull request #5040

Cast from integer/timestamp to timestamp/integer #8703

Sign in to view logs

Cast from integer/timestamp to timestamp/integer

Cast from integer/timestamp to timestamp/integer #8703

Triggered via pull request November 6, 2023 22:34
@viiryaviirya
synchronize #5040
viirya:cast_numeric_to_timestamp
Status Success
Total duration 5m 25s
Artifacts –

miri.yaml

on: pull_request
MIRI
5m 13s
MIRI
Fit to window
Zoom out
Zoom in