forked from leanprover-community/lean-web-editor
-
Notifications
You must be signed in to change notification settings - Fork 0
Pull requests: mathsforces/lean-web-editor
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Bump json5, html-webpack-plugin and webpack
dependencies
Pull requests that update a dependency file
#7
opened Apr 26, 2023 by
dependabot
bot
Loading…
Bump loader-utils and html-webpack-plugin
dependencies
Pull requests that update a dependency file
#6
opened Apr 26, 2023 by
dependabot
bot
Loading…
Bump minimist and mkdirp
dependencies
Pull requests that update a dependency file
#5
opened Apr 26, 2023 by
dependabot
bot
Loading…
Bump qs and express
dependencies
Pull requests that update a dependency file
#4
opened Apr 26, 2023 by
dependabot
bot
Loading…
Bump minimatch from 3.0.4 to 3.1.2
dependencies
Pull requests that update a dependency file
#3
opened Apr 26, 2023 by
dependabot
bot
Loading…
Bump decode-uri-component from 0.2.0 to 0.2.2
dependencies
Pull requests that update a dependency file
#2
opened Apr 26, 2023 by
dependabot
bot
Loading…
Bump ua-parser-js from 0.7.19 to 0.7.35
dependencies
Pull requests that update a dependency file
#1
opened Apr 26, 2023 by
dependabot
bot
Loading…
ProTip!
Exclude everything labeled
bug
with -label:bug.