Skip to content

Rocq output test name alias#15349

Open
rlepigre-skylabs-ai wants to merge 2 commits into
ocaml:mainfrom
rlepigre-skylabs-ai:rocq-output-test-name-alias
Open

Rocq output test name alias#15349
rlepigre-skylabs-ai wants to merge 2 commits into
ocaml:mainfrom
rlepigre-skylabs-ai:rocq-output-test-name-alias

Allow using Rocq output test name as alias

1b320a8
Select commit
Loading
Failed to load commit list.
DCO / DCO succeeded Jun 26, 2026 in 1s

DCO

All commits are signed off!

View more details on DCO