-
Notifications
You must be signed in to change notification settings - Fork 320
Pull requests: enso-org/enso
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Always write Config's namespace
CI: No changelog needed
Do not require a changelog entry for this PR.
#10572
opened Jul 16, 2024 by
hubertp
Loading…
1 of 4 tasks
Update icons
CI: No changelog needed
Do not require a changelog entry for this PR.
#10570
opened Jul 16, 2024 by
AdRiley
Loading…
4 tasks
Refactor precedence for whitespace changes
CI: No changelog needed
Do not require a changelog entry for this PR.
#10569
opened Jul 16, 2024 by
kazcw
Loading…
4 tasks
Rename run workflow button to write
CI: Keep up to date
Automatically update this PR to the latest develop.
#10568
opened Jul 16, 2024 by
AdRiley
Loading…
4 tasks
Use correct URL for YDoc server on Cloud
CI: No changelog needed
Do not require a changelog entry for this PR.
g-dashboard
p-high
Should be completed in the next sprint
x-new-feature
Type: new feature request
#10566
opened Jul 16, 2024 by
somebody1234
Loading…
4 tasks done
Wip/mk/whitespace chars monospace font table viz
#10563
opened Jul 16, 2024 by
marthasharkey
•
Draft
4 tasks
VSCode: Add support for methods in type body
CI: No changelog needed
Do not require a changelog entry for this PR.
#10560
opened Jul 15, 2024 by
Akirathan
Loading…
1 of 4 tasks
Fix issue with documentation panel focus
-gui
#10558
opened Jul 15, 2024 by
vitvakatu
Loading…
4 tasks done
WithWarnings uses EnsoHashMap to speed things up
CI: Clean build required
CI runners will be cleaned before and after this PR is built.
CI: No changelog needed
Do not require a changelog entry for this PR.
Single instance
CI: No changelog needed
Do not require a changelog entry for this PR.
CI: Ready to merge
This PR is eligible for automatic merge
g-dashboard
g-electron
GUI: electron application specific
x-new-feature
Type: new feature request
#10552
opened Jul 15, 2024 by
somebody1234
Loading…
4 tasks done
Various Decimal usability tweaks
CI: No changelog needed
Do not require a changelog entry for this PR.
CI: Ready to merge
This PR is eligible for automatic merge
#10517
opened Jul 10, 2024 by
GregoryTravis
Loading…
9 of 10 tasks
Reduce the number of log INFO events
CI: No changelog needed
Do not require a changelog entry for this PR.
#10500
opened Jul 9, 2024 by
hubertp
Loading…
1 of 4 tasks
Billing Page iteration one
CI: No changelog needed
Do not require a changelog entry for this PR.
g-dashboard
#10497
opened Jul 9, 2024 by
MrFlashAccount
Loading…
4 tasks
User & Team spaces
CI: No changelog needed
Do not require a changelog entry for this PR.
g-dashboard
x-new-feature
Type: new feature request
#10477
opened Jul 8, 2024 by
somebody1234
•
Draft
3 of 4 tasks
Soft delete projects by moving them to trash
CI: No changelog needed
Do not require a changelog entry for this PR.
#10440
opened Jul 3, 2024 by
4e6
Loading…
3 tasks done
Dashboard support for renaming assets from Graph Editor
CI: No changelog needed
Do not require a changelog entry for this PR.
g-dashboard
#10383
opened Jun 27, 2024 by
somebody1234
Loading…
4 tasks done
System.exit does proper context hard exit.
CI: No changelog needed
Do not require a changelog entry for this PR.
#10363
opened Jun 25, 2024 by
Akirathan
Loading…
3 tasks done
Add SQL Server support
CI: Clean build required
CI runners will be cleaned before and after this PR is built.
Inline modules in Do not require a changelog entry for this PR.
g-dashboard
x-refactor
Changes that should not be visible to the end-user
app/ide-desktop/
CI: No changelog needed
#10305
opened Jun 18, 2024 by
somebody1234
Loading…
4 tasks done
WIP: Generate documentation of a library
-compiler
-parser
w-docs
Website: Documentation
#10291
opened Jun 15, 2024 by
JaroslavTulach
•
Draft
1 of 3 tasks
Gather all data from benchmarks
CI: No changelog needed
Do not require a changelog entry for this PR.
Redesign Toast component
CI: No changelog needed
Do not require a changelog entry for this PR.
g-dashboard
#10214
opened Jun 7, 2024 by
MrFlashAccount
•
Draft
4 tasks
Data router
CI: No changelog needed
Do not require a changelog entry for this PR.
g-dashboard
#10175
opened Jun 4, 2024 by
MrFlashAccount
•
Draft
4 tasks
Billing Page
CI: No changelog needed
Do not require a changelog entry for this PR.
g-dashboard
#10171
opened Jun 4, 2024 by
MrFlashAccount
•
Draft
4 tasks
Previous Next
ProTip!
Follow long discussions with comments:>50.