Skip to content

CI doesn't currently build binaries #4138

Description

@JordanMartinez

See the ubuntu build, which fails because the binary file that should exist at sdist-test/.stack-work/install/x86_64-linux/0c876ca1dfc6728d04f0d922e905e8ecaa12cec66470d064293c7f7c2a261f0b/8.10.4/bin/purs does not exist.

It seems #4072 caused an issue by introducing the --hadock flag.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Fields

    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions