Skip to content

Pull requests: lean4oj/frontend

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort

Pull requests list

build(deps-dev): bump typescript from 7.1.0-dev.20260813.1 to 7.1.0-dev.20260818.1 dependencies Pull requests that update a dependency file javascript Pull requests that update javascript code
#76 opened Aug 21, 2026 by dependabot Bot Loading…
build(deps-dev): bump @types/markdown-it from 14.1.2 to 14.2.0 dependencies Pull requests that update a dependency file javascript Pull requests that update javascript code
#75 opened Aug 21, 2026 by dependabot Bot Loading…
build(deps-dev): bump react-intl from 10.1.20 to 10.1.22 dependencies Pull requests that update a dependency file javascript Pull requests that update javascript code
#73 opened Aug 20, 2026 by dependabot Bot Loading…
build(deps-dev): bump react from 18.3.1 to 19.2.8 dependencies Pull requests that update a dependency file javascript Pull requests that update javascript code
#61 opened Aug 4, 2026 by dependabot Bot Draft
build(deps-dev): bump react-dom from 18.3.1 to 19.2.8 dependencies Pull requests that update a dependency file javascript Pull requests that update javascript code
#60 opened Aug 4, 2026 by dependabot Bot Draft
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.