Skip to content

test(rocq): broken installed vo symlinks break build - #16327

Merged
Alizter merged 1 commit into
ocaml:mainfrom
Janno:janno/rocq-test-broken-symlinks
Sep 4, 2026
Merged

Alizter merged 1 commit into
ocaml:mainfrom
Janno:janno/rocq-test-broken-symlinks

Conversation

@Janno

@Janno Janno commented Sep 4, 2026

Copy link
Copy Markdown
Contributor

Description

See #16326

Comment thread test/blackbox-tests/test-cases/dune Outdated
@Janno
Janno force-pushed the janno/rocq-test-broken-symlinks branch 2 times, most recently from b350f71 to 3612341 Compare September 4, 2026 14:08
Comment thread test/blackbox-tests/test-cases/rocq/rocq-installed-broken-symlink.t
@Janno
Janno force-pushed the janno/rocq-test-broken-symlinks branch from 3612341 to 93c3e42 Compare September 4, 2026 14:51
Comment thread test/blackbox-tests/test-cases/rocq/rocq-installed-broken-symlink.t Outdated
Signed-off-by: Jan-Oliver Kaiser <janno@skylabs-ai.com>
@Janno
Janno force-pushed the janno/rocq-test-broken-symlinks branch from a4308d2 to 44d7e2c Compare September 4, 2026 15:04
@Alizter
Alizter merged commit 34518c4 into ocaml:main Sep 4, 2026
37 checks passed
@Alizter Alizter added this to the 3.25.0 milestone Sep 5, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants