Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

RFC: Allow dune runtest to run individual tests #6630

Closed
rgrinberg opened this issue Dec 3, 2022 · 0 comments · Fixed by #11041
Closed

RFC: Allow dune runtest to run individual tests #6630

rgrinberg opened this issue Dec 3, 2022 · 0 comments · Fixed by #11041
Assignees
@Alizter
Labels
proposal RFC's that are awaiting discussion to be accepted or rejected

Comments

@rgrinberg
Copy link
Member

Currently, running individual cram tests requires remembering that every test has an alias. Moreover, one also has to qualify the alias with a directory if there's more than one test with the same name. It would be much simpler if we could just pass the test's path to dune runtest and get it to run.

I think this is also useful for justifying the existence of dune runtest itself. Currently, it's just clone of dune build @runtest
@rgrinberg rgrinberg added the proposal RFC's that are awaiting discussion to be accepted or rejected label Dec 3, 2022
@Alizter Alizter mentioned this issue Oct 24, 2024
Merged
12 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@Alizter Alizter

Labels
proposal RFC's that are awaiting discussion to be accepted or rejected
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Allow runtest to run individual tests Alizter/dune
2 participants
@rgrinberg @Alizter