Skip to content

No labels!

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

86 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
--breaking
--breaking
Important: a change that will break a public API or user-facing behaviour
1
--bug
--bug
Type: bug
164
--data corruption or loss
--data corruption or loss
Important: data corruption or loss
1
--low-performance
--low-performance
38
--regression
--regression
Important: regression
20
-ai
-ai
tasks for adding ChatGPT based suggestions
2
-build-script
-build-script
Category: build script
16
-ci
-ci
47
-compiler
-compiler
185
-gui
-gui
187
-language-server
-language-server
42
-libs
-libs
Libraries: New libraries to be implemented
241
-onboarding
-onboarding
2
-parser
-parser
32
-polyglot
-polyglot
Polyglot related tasks
2
-project-manager
-project-manager
10
-syntax
-syntax
19
-tooling
-tooling
Category: tooling
19
-type-system
-type-system
Category: type system and type inference
4
-viz
-viz
25
CI: Clean build required
CI: Clean build required
CI runners will be cleaned before and after this PR is built.
9
CI: Keep up to date
CI: Keep up to date
Automatically update this PR to the latest develop.
CI: No changelog needed
CI: No changelog needed
Do not require a changelog entry for this PR.
30
CI: Ready to merge
CI: Ready to merge
This PR is eligible for automatic merge
5
d-easy
d-easy
Difficulty: little prior knowledge required
22
d-hard
d-hard
Difficulty: significant prior knowledge required
19
d-intermediate
d-intermediate
Difficulty: some prior knowledge required
20
d-unknown
d-unknown
Difficulty: unable to estimate difficulty
5
dependencies
dependencies
Pull requests that update a dependency file
1
g-dashboard
g-dashboard
43