Skip to content

improve vmlens handling and execution #1611

@aepfli

Description

@aepfli

Vmlens is a powerful tool but our current developer experience is diminished, as it is executed all the times and increases the basic verify step heavily.

But especially our basic verify step should be fast and provide fast feedback. I suggest to move the vmlens to an own maven profile which is not executed per default. Additionally I suggest to also execute the vmlens profile as a separate GitHub action, to distinguish between the topics, and to give faster feedback on pull requests if it is a general testing compilation issue or if it is a concurrency issue.

Wdyt @chrfwow ?

Metadata

Metadata

Assignees

No one assigned

    Labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions