Skip to content

ci: test with miri #116

Open
Open
ci: test with miri#116
Labels
github_actionsIssues and pull requests related to GitHub Actionshelp wantedExtra attention is needed

Description

@rvolosatovs
rvolosatovs
opened on Jun 5, 2024

We should explore testing the project with miri in CI

Metadata

Metadata

Assignees

No one assigned

    Labels

    github_actionsIssues and pull requests related to GitHub Actionshelp wantedExtra attention is needed

    Type

    No type

    Fields

    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions