Search results

Control the concurrent running of registry jobs

Status: Open.

#696 In purescript/registry-dev;

· thomashoneyman opened on Aug 31, 2024

Publish API erroring with spurious "unregistered dependencies" error

Status: Open.

#692 In purescript/registry-dev;

· cakekindel opened on Jun 25, 2024

Trim temp directory from path when reporting errors in source code

good first issueGood for newcomersGood for newcomers

Status: Open.

#686 In purescript/registry-dev;

· thomashoneyman opened on Jan 26, 2024

Verify repository exists before attempting to clone it

good first issueGood for newcomersGood for newcomers

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#684 In purescript/registry-dev;

· flip111 opened on Jan 22, 2024

Clarify “letters” in spec

Status: Open.

#682 In purescript/registry-dev;

· toastal opened on Jan 19, 2024

Support package keywords / categories

discussion

Status: Open.

#650 In purescript/registry-dev;

· thomashoneyman opened on Aug 4, 2023

Proxy GitHub issue API calls to the registry server

beta

enhancementSomething that would be good to have but it's not a prioritySomething that would be good to have but it's not a priority

Status: Open.

#649 In purescript/registry-dev;

· thomashoneyman opened on Aug 3, 2023

Don't fail publishing when registry repos are behind the upstream

alpha

bugSomething isn't workingSomething isn't working

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#646 In purescript/registry-dev;

· thomashoneyman opened on Aug 1, 2023

Roll back package uploads on metadata failure

alpha

bugSomething isn't workingSomething isn't working

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#645 In purescript/registry-dev;

· thomashoneyman opened on Aug 1, 2023

jelly 0.10.0 broken in package set 14.2.0

Status: Open.

#590 In purescript/registry-dev;

· considerate opened on Feb 26, 2023

Determine a specific legacy date cutoff or require all packages to compile

alpha

Status: Open.

#577 In purescript/registry-dev;

· thomashoneyman opened on Jan 10, 2023

Remove script to remove packages

beta

Status: Open.

#570 In purescript/registry-dev;

· f-f opened on Dec 14, 2022