Skip to content

Investigate using new experimental "Apps" feature of Pkg.jl to complement or replace create_gap_sh #1289

Description

@fingolfin

See https://pkgdocs.julialang.org/v1/apps/ for more.

A bunch of things are still unclear to me about this feature.

But if it is positive, perhaps we should also consider using it for Oscar.jl (to make an oscar app)

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions