JetBrains / MPS-extensions Public

Notifications You must be signed in to change notification settings
Fork 53
Star 83

Code
Issues 144
Pull requests 6
Actions
Projects
Wiki
Security
Insights

Additional navigation options

Code
Issues
Pull requests
Actions
Projects
Wiki
Security
Insights

Pull requests: JetBrains/MPS-extensions

Labels 22 Milestones 0

New pull request New

6 Open 712 Closed

Author

Filter by author

Label

Filter by label

Use alt + click/return to exclude labels

or ⇧ + click/return for logical OR

Projects

Filter by project

Milestones

Filter by milestone

Reviews

Filter by reviews

No reviews Review required Approved review Changes requested

Assignee

Filter by who’s assigned

Assigned to nobody

Sort

Sort by

Newest Oldest Most commented Least commented Recently updated Least recently updated Best match

Most reactions

Pull requests list

chore(deps): update dependency gradle to v8.12.1

#1138 opened Jan 24, 2025 by renovate bot

Loading…

1 task

widgets: hotfix to load enum checkbox images from bin instead of src jar

#1137 opened Jan 24, 2025 by wsafonov • Draft

chore(deps): update plugin de.itemis.mps.gradle.common to 1.29.0.+

#1136 opened Jan 22, 2025 by renovate bot

Loading…

1 task

fix(deps): update dependency com.jetbrains.mps:mps-prerelease to v243.23654.10183

#1135 opened Jan 22, 2025 by renovate bot

Loading…

1 task

mpsutil.blutil:add a completion style for models that have a visibility=internal

#1103 opened Dec 17, 2024 by alexanderpann • Draft

Use mps.make task for building

#893 opened Jul 26, 2024 by sergej-koscejev • Draft

ProTip! Exclude everything labeled bug with -label:bug.

Provide feedback

Saved searches

Use saved searches to filter your results more quickly