[jira] [Work logged] (AVRO-3247) Rust: Run MIRI checks

["ASF GitHub Bot (Jira)" <ji...@apache.org>]

     [ https://issues.apache.org/jira/browse/AVRO-3247?focusedWorklogId=703813&page=com.atlassian.jira.plugin.system.issuetabpanels:worklog-tabpanel#worklog-703813 ]

ASF GitHub Bot logged work on AVRO-3247:
----------------------------------------

                Author: ASF GitHub Bot
            Created on: 05/Jan/22 08:44
            Start Date: 05/Jan/22 08:44
    Worklog Time Spent: 10m 
      Work Description: martin-g merged pull request #1390:
URL: https://github.com/apache/avro/pull/1390


   


-- 
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

To unsubscribe, e-mail: dev-unsubscribe@avro.apache.org

For queries about this service, please contact Infrastructure at:
users@infra.apache.org


Issue Time Tracking
-------------------

    Worklog Id:     (was: 703813)
    Time Spent: 40m  (was: 0.5h)

> Rust: Run MIRI checks
> ---------------------
>
>                 Key: AVRO-3247
>                 URL: https://issues.apache.org/jira/browse/AVRO-3247
>             Project: Apache Avro
>          Issue Type: Task
>          Components: build, rust
>    Affects Versions: 1.11.0
>            Reporter: Martin Tzvetanov Grigorov
>            Assignee: Martin Tzvetanov Grigorov
>            Priority: Minor
>              Labels: pull-request-available
>             Fix For: 1.12.0
>
>          Time Spent: 40m
>  Remaining Estimate: 0h
>
> It would be nice to run [https://github.com/rust-lang/miri] checks to detect [undefined behavior|https://doc.rust-lang.org/reference/behavior-considered-undefined.html].
> Inspired-by: https://github.com/apache/arrow-rs/blob/1d3d5e342595b0478897efc781ea8c4a4e0d571f/.github/workflows/miri.yaml



--
This message was sent by Atlassian Jira
(v8.20.1#820001)