Skip to content
This repository was archived by the owner on Mar 19, 2025. It is now read-only.

Pull requests: leanprover/lean-client-js

20 Open 33 Closed
20 Open 33 Closed
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
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Bump minimist from 1.2.5 to 1.2.8 dependencies Pull requests that update a dependency file
#57 opened Mar 4, 2023 by dependabot bot Loading…
Bump json5, loader-utils, html-webpack-plugin and webpack dependencies Pull requests that update a dependency file
#56 opened Jan 3, 2023 by dependabot bot Loading…
Bump json5, copy-webpack-plugin, html-webpack-plugin, ts-loader, webpack and worker-loader dependencies Pull requests that update a dependency file
#55 opened Dec 29, 2022 by dependabot bot Loading…
Bump express from 4.17.1 to 4.18.2 dependencies Pull requests that update a dependency file
#54 opened Dec 10, 2022 by dependabot bot Loading…
Bump qs from 6.5.2 to 6.5.3 dependencies Pull requests that update a dependency file
#53 opened Dec 6, 2022 by dependabot bot Loading…
Bump decode-uri-component from 0.2.0 to 0.2.2 dependencies Pull requests that update a dependency file
#52 opened Dec 1, 2022 by dependabot bot Loading…
Bump loader-utils and html-webpack-plugin dependencies Pull requests that update a dependency file
#51 opened Nov 16, 2022 by dependabot bot Loading…
Bump css-what from 2.1.0 to 2.1.3 dependencies Pull requests that update a dependency file
#49 opened Oct 5, 2022 by dependabot bot Loading…
Bump eventsource from 1.0.7 to 1.1.1 dependencies Pull requests that update a dependency file
#44 opened May 31, 2022 by dependabot bot Loading…
Bump tar from 4.4.13 to 4.4.19 dependencies Pull requests that update a dependency file
#42 opened Apr 20, 2022 by dependabot bot Loading…
Bump node-fetch from 2.6.1 to 2.6.7 dependencies Pull requests that update a dependency file
#41 opened Apr 20, 2022 by dependabot bot Loading…
Bump trim-off-newlines from 1.0.1 to 1.0.3 dependencies Pull requests that update a dependency file
#40 opened Apr 20, 2022 by dependabot bot Loading…
Bump async from 2.6.3 to 2.6.4 dependencies Pull requests that update a dependency file
#39 opened Apr 20, 2022 by dependabot bot Loading…
Bump async from 2.5.0 to 2.6.4 in /lean-client-js-browser dependencies Pull requests that update a dependency file
#38 opened Apr 20, 2022 by dependabot bot Loading…
Bump lodash from 4.17.20 to 4.17.21 in /lean-client-js-browser dependencies Pull requests that update a dependency file
#37 opened Apr 20, 2022 by dependabot bot Loading…
Bump lodash from 4.17.20 to 4.17.21 dependencies Pull requests that update a dependency file
#34 opened Mar 16, 2022 by dependabot bot Loading…
Bump url-parse from 1.4.7 to 1.5.10 dependencies Pull requests that update a dependency file
#33 opened Feb 26, 2022 by dependabot bot Loading…
Bump follow-redirects from 1.13.0 to 1.14.8 dependencies Pull requests that update a dependency file
#31 opened Feb 13, 2022 by dependabot bot Loading…
Bump ajv from 6.12.2 to 6.12.6 dependencies Pull requests that update a dependency file
#30 opened Feb 11, 2022 by dependabot bot Loading…
Bump handlebars from 4.7.6 to 4.7.7 dependencies Pull requests that update a dependency file
#29 opened Feb 11, 2022 by dependabot bot Loading…
ProTip! Mix and match filters to narrow down what you’re looking for.