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

Pull requests: leanprover/vscode-lean

Clear current search query, filters, and sorts
15 Open 10 Closed
15 Open 10 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 markdown-it, ovsx and vsce dependencies Pull requests that update a dependency file
#313 opened Sep 14, 2022 by dependabot bot Loading…
Bump underscore and ovsx dependencies Pull requests that update a dependency file
#316 opened Nov 2, 2022 by dependabot bot Loading…
Bump loader-utils from 2.0.0 to 2.0.4 dependencies Pull requests that update a dependency file
#318 opened Nov 15, 2022 by dependabot bot Loading…
Bump qs and express dependencies Pull requests that update a dependency file
#323 opened Dec 6, 2022 by dependabot bot Loading…
Bump express from 4.17.1 to 4.17.3 dependencies Pull requests that update a dependency file
#324 opened Dec 12, 2022 by dependabot bot Loading…
Bump json5 from 2.1.3 to 2.2.3 dependencies Pull requests that update a dependency file
#325 opened Jan 6, 2023 by dependabot bot Loading…
Bump minimatch from 3.0.4 to 3.1.2 dependencies Pull requests that update a dependency file
#326 opened Jan 10, 2023 by dependabot bot Loading…
Bump follow-redirects from 1.14.1 to 1.15.2 dependencies Pull requests that update a dependency file
#329 opened Feb 13, 2023 by dependabot bot Loading…
Bump nth-check from 2.0.0 to 2.1.1 dependencies Pull requests that update a dependency file
#330 opened Feb 13, 2023 by dependabot bot Loading…
Bump minimist from 1.2.5 to 1.2.8 dependencies Pull requests that update a dependency file
#331 opened Feb 13, 2023 by dependabot bot Loading…
Bump terser from 5.7.0 to 5.16.3 dependencies Pull requests that update a dependency file
#332 opened Feb 13, 2023 by dependabot bot Loading…
Bump axios from 0.21.1 to 0.21.2 dependencies Pull requests that update a dependency file
#283 opened Nov 26, 2021 by dependabot bot Loading…
Bump ajv from 6.11.0 to 6.12.6 dependencies Pull requests that update a dependency file
#289 opened Feb 11, 2022 by dependabot bot Loading…
Bump ansi-regex from 5.0.0 to 5.0.1 dependencies Pull requests that update a dependency file
#294 opened Feb 18, 2022 by dependabot bot Loading…
Bump nanoid from 3.1.23 to 3.3.4 dependencies Pull requests that update a dependency file
#299 opened May 14, 2022 by dependabot bot Loading…
ProTip! Mix and match filters to narrow down what you’re looking for.