Skip to content
miri

Date data types can cast to a time zone-specific timestamp #11912

Sign in to view logs

Date data types can cast to a time zone-specific timestamp

Date data types can cast to a time zone-specific timestamp #11912

This workflow is awaiting approval from a maintainer in #7141
Triggered via pull request February 21, 2025 02:39
@friendlymatthewfriendlymatthew
synchronize #7141
friendlymatthew:friendlymatthew/cast-date-to-timestamp-tz
Status Action required
Total duration –
Artifacts –
This workflow is awaiting approval from a maintainer in #7141

miri.yaml

on: pull_request
MIRI
MIRI
Fit to window
Zoom out
Zoom in