Skip to content
Back to pull request #15349

Rocq output test name alias #43631

Sign in to view logs

Rocq output test name alias

Rocq output test name alias #43631

Annotations

1 warning

Build (opam) (ocaml-base-compiler.5.4.0,system-mingw, windows-latest, ocaml-compiler.5.4.0-system...

Build (opam) (ocaml-base-compiler.5.4.0,system-mingw, windows-latest, ocaml-compiler.5.4.0-system...
succeeded Jun 26, 2026 in 12m 30s