Skip to content

dune promote + watchmode clears promotion database #12577

@Alizter

Description

@Alizter

When running dune promote with a watchmode build, it clears the promotion database after the first invocation. This is annoying and requires a restart of the build server. We need to somehow stop the server from flushing the promotion database after a promote request over RPC.

Metadata

Metadata

Assignees

No one assigned

    Labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions