forked from leanprover-community/lean4web
-
Notifications
You must be signed in to change notification settings - Fork 0
Pull requests: mathsforces/lean4web
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Bump mobx from 6.7.0 to 6.10.0
dependencies
Pull requests that update a dependency file
#38
opened Jul 24, 2023 by
dependabot
bot
Loading…
Bump webpack from 5.75.0 to 5.88.2
dependencies
Pull requests that update a dependency file
#37
opened Jul 24, 2023 by
dependabot
bot
Loading…
Bump monaco-editor from 0.34.1 to 0.40.0
dependencies
Pull requests that update a dependency file
#35
opened Jul 10, 2023 by
dependabot
bot
Loading…
Bump @fortawesome/free-solid-svg-icons from 6.2.1 to 6.4.0
dependencies
Pull requests that update a dependency file
#20
opened Apr 3, 2023 by
dependabot
bot
Loading…
Bump @fortawesome/fontawesome-svg-core from 6.2.1 to 6.4.0
dependencies
Pull requests that update a dependency file
#19
opened Apr 3, 2023 by
dependabot
bot
Loading…
Bump @testing-library/react from 13.4.0 to 14.0.0
dependencies
Pull requests that update a dependency file
#15
opened Feb 20, 2023 by
dependabot
bot
Loading…
ProTip!
Follow long discussions with comments:>50.