Labels

Pull requests that update a dependency file

This issue or pull request already exists.

First-time contributors who are looking to help should work on these issues.

Pull requests that update javascript code

A reminder to address this issue or merge this PR before we release PureScript v0.14.0

A reminder to address this issue or merge this PR before we release PureScript v0.15.0

This PR is no longer being worked on. Another can use it as a base for continuing the work.

This issue is now ready to be implemented via a PR.

This issue or PR is blocked by something and cannot make progress.

This PR needs approval before it can be merged.

This issue needs more info before any action can be done.

This PR needs a review.

The maintainers of this library don't think the issue is actually a problem.

A change that requires a major version bump.

Something that should function correctly isn't.

Improvements or additions to documentation.

A new feature or addition.

Repo-related things (e.g. fixing CI) that need to be done.

Something that worked previously no longer works.