Skip to content

Run Miri under integration tests #157

Description

@Kronos3

Currently we have our integration tests disabled under the Miri build because there is some use of the filesystem/temporary dirs (and probably other stuff). Let's figure out a way to run these tests/temporarily disable the miri isolation when doing these test-harnessey things.

Metadata

Metadata

Assignees

Labels

CIRelated to Continuous Integration

Type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions