Skip to content
Snippets Groups Projects
Commit 6842c635 authored by Simon Praetorius's avatar Simon Praetorius
Browse files

Merge branch 'dune_add_test_name_and_target' into 'master' 

set test command to target name instead of the test name if a target is given

See merge request !906
parents b10ce55c e64c1f04
Branches
Tags
1 merge request!906set test command to target name instead of the test name if a target is given
Pipeline #35414 passed
Stage: test
Stage: downstream
Pipeline: Dune Nightly Test

#35415

    Hide whitespace changes
    Inline Side-by-side
    0% or .
    You are about to add 0 people to the discussion. Proceed with caution.
    Please register or to comment