Add miri to CI #1372

Closed

Labels

opened

See here for more good research on running miri from @jturner314:

some options need to be updated since miri has changed defaults since then.

Metadata

Assignees

No one assigned

Labels

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