Skip to content

No labels!

There aren’t any labels for this repository quite yet.

42 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
broken ci
broken ci
1
bug
bug
Something isn't working
24
change base before merge
change base before merge
Remember to change the merge base to main when the PR is ready to merge
contribution welcome
contribution welcome
We welcome code contributions for this
39
dependencies
dependencies
Pull requests that update a dependency file
3
do not merge
do not merge
Do not merge this PR
documentation
documentation
Improvements or additions to documentation
8
duplicate
duplicate
This issue or pull request already exists
enhancement
enhancement
New feature or request
21
fixme
fixme
Tracking issues for TODOs and FIXMEs
5
github_actions
github_actions
Pull requests that update GitHub Actions code
good first issue
good first issue
Good for newcomers
3
help wanted
help wanted
Extra attention is needed
hold on merging
hold on merging
Don't merge yet
1
low priority
low priority
12
merge at lgtm
merge at lgtm
Reviewers can merge when they approve
python
python
Pull requests that update Python code
3
question
question
Further information is requested
6
run release CIs
run release CIs
Release CI will run for PRs with this label
topic: api
topic: api
11
topic: ast converter
topic: ast converter
1
topic: backend
topic: backend
1
topic: better engineering
topic: better engineering
1
topic: breaking changes
topic: breaking changes
topic: build
topic: build
1
topic: ci
topic: ci
2
topic: codegen
topic: codegen
2
topic diagnostics
topic diagnostics
1
topic: discussion
topic: discussion
For discussion
21
topic: eager mode
topic: eager mode
Eager mode evaluation