Skip to content

Conversation

@Smit-create
Copy link
Member

@Smit-create Smit-create commented Mar 13, 2023

Thank you for opening a PR!
#1449
Here are a few important guidelines and requirements to check before your PR can be merged:

  • There is an informative high-level description of the changes.
  • The description and/or commit message(s) references the relevant GitHub issue(s).
  • pre-commit is installed and set up.
  • The commit messages follow these guidelines.
  • The commits correspond to relevant logical changes, and there are no commits that fix changes introduced by other commits in the same branch/BR.
  • There are tests covering the changes introduced in the PR.

Don't worry, your PR doesn't need to be in perfect order to submit it. As development progresses and/or reviewers request changes, you can always rewrite the history of your feature/PR branches.

If your PR is an ongoing effort and you would like to involve us in the process, simply make it a draft PR.

@brandonwillard brandonwillard added enhancement New feature or request Numba Involves Numba transpilation labels Mar 23, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request Numba Involves Numba transpilation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Investigate use of numba.config.DISABLE_JIT for coverage approximations

2 participants