Skip to content

CI: Run miri using tree borrows in addition to the existing stacked borrows #33

@tatsuya6502

Description

@tatsuya6502

We want to do something similar to moka-rs/moka#454 to find issues like the one reported by #31.

Metadata

Metadata

Assignees

Labels

No labels
No labels

Type

No type
No fields configured for issues without a type.

Projects

No projects

Relationships

None yet

Development

No branches or pull requests

Issue actions