This repository was archived by the owner on Jan 19, 2025. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 0
Pull requests: Safe-DS/API-Editor
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
build(deps): Bump actions/add-to-project from 0.5.0 to 1.0.2
#1499
opened Jan 19, 2025 by
dependabot
bot
Loading…
build(deps): Bump react-markdown from 8.0.7 to 9.0.1 in /api-editor/gui
dependencies
Pull requests that update a dependency file
javascript
Pull requests that update Javascript code
#1467
opened Nov 29, 2023 by
dependabot
bot
Loading…
build(deps): Bump rehype-katex from 6.0.3 to 7.0.0 in /api-editor/gui
dependencies
Pull requests that update a dependency file
javascript
Pull requests that update Javascript code
#1436
opened Oct 1, 2023 by
dependabot
bot
Loading…
ProTip!
Filter pull requests by the default branch with base:main.