Skip to content

chore: skip install tests for dune-action-trace#13736

Merged
shonfeder merged 1 commit intomainfrom
shonfeder/dune-action-trace-disable-install-tests
Mar 5, 2026
Merged

chore: skip install tests for dune-action-trace#13736
shonfeder merged 1 commit intomainfrom
shonfeder/dune-action-trace-disable-install-tests

Conversation

@shonfeder
Copy link
Copy Markdown
Member

@shonfeder shonfeder commented Mar 5, 2026

Workaround for #13732

this workaround sanctioned by @rgrinberg here: #13730 (review)

Tested in a fresh switch with

opam pin dune-action-trace.dev git@github.com:ocaml/dune.git#shonfeder/dune-action-trace-disable-install-tests --with-test --verbose

Related: #13731 , which can help us prevent merging misconfigured packages in the future.

Signed-off-by: Shon Feder <shon.feder@gmail.com>
@shonfeder shonfeder force-pushed the shonfeder/dune-action-trace-disable-install-tests branch from a3164ce to 0bae357 Compare March 5, 2026 15:07
@shonfeder shonfeder removed the request for review from rgrinberg March 5, 2026 15:19
@shonfeder shonfeder merged commit 2237984 into main Mar 5, 2026
29 checks passed
@shonfeder shonfeder deleted the shonfeder/dune-action-trace-disable-install-tests branch March 5, 2026 15:58
@shonfeder shonfeder mentioned this pull request Mar 5, 2026
19 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants