Skip to content

Diffing of inline tests is not concurrent #6942

@Alizter

Description

@Alizter

When multiple inline tests are run in separate files, they are only diffed sequentially rather than at the same time.

Demonstration of bug: #6943

This can be fixed by #6933 and a small tweak to the action in inline_tests.ml.

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions