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
143
--data corruption or loss
--data corruption or loss
Important: data corruption or loss
1
--low-performance
--low-performance
29
--regression
--regression
Important: regression
13
-ai
-ai
tasks for adding ChatGPT based suggestions
2
-build-script
-build-script
Category: build script
12
-ci
-ci
45
-compiler
-compiler
180
-gui
-gui
165
-language-server
-language-server
43
-libs
-libs
Libraries: New libraries to be implemented
223
-onboarding
-onboarding
2
-parser
-parser
36
-polyglot
-polyglot
Polyglot related tasks
2
-project-manager
-project-manager
9
-syntax
-syntax
18
-tooling
-tooling
Category: tooling
17
-type-system
-type-system
Category: type system and type inference
5
-viz
-viz
18
CI: Clean build required
CI: Clean build required
CI runners will be cleaned before and after this PR is built.
6
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.
35
CI: Ready to merge
CI: Ready to merge
This PR is eligible for automatic merge
2
d-easy
d-easy
Difficulty: little prior knowledge required
26
d-hard
d-hard
Difficulty: significant prior knowledge required
19
d-intermediate
d-intermediate
Difficulty: some prior knowledge required
21
d-unknown
d-unknown
Difficulty: unable to estimate difficulty
7
dependencies
dependencies
Pull requests that update a dependency file
5
g-dashboard
g-dashboard
25