Skip to content
GitLab
Explore
Sign in
Use dune_add_test properly
Code
Review changes
Check out branch
Download
Patches
Plain diff
Simon Praetorius
requested to merge
issue/use-dune-add-test
into
master
Feb 09, 2022
Overview
1
Commits
1
Pipelines
1
Changes
2
Expand
Cleanup the usage of
dune_add_test
by properly passing parameters
Merge request reports
Loading