Skip to content

CI: docs should be deployed with JLLs #10

@jswent

Description

@jswent

Currently the docs are deployed by installing libsemigroups and building the c++ manually. When available, we should migrate the deployment to use the public JLLs.

Metadata

Metadata

Assignees

No one assigned

    Labels

    documentationImprovements or additions to documentationenhancementNew feature or request

    Projects

    No projects

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions