Skip to content

Prevent concurrent builds of same derivation #17

Closed
Bug
Closed
Prevent concurrent builds of same derivation#17
Bug
Labels
backendBuild server
@zombiezen

Description

@zombiezen
zombiezen
opened on Aug 20, 2024
No description provided.

Metadata

Metadata

Assignees

No one assigned

    Labels

    backendBuild server

    Type

    Bug

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions