Rocq output test name alias#15349

rlepigre-skylabs-ai wants to merge 2 commits into

ocaml:mainocaml/dune:mainfrom

rlepigre-skylabs-ai:rocq-output-test-name-aliasrlepigre-skylabs-ai/dune:rocq-output-test-name-aliasCopy head branch name to clipboard