Pull requests: coq-community/vscoq
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Bump vite from 2.9.17 to 2.9.18 in /client/search-ui
dependencies
Pull requests that update a dependency file
javascript
Pull requests that update Javascript code
#762
opened Apr 3, 2024 by
dependabot
bot
Loading…
Bump vite from 2.9.17 to 2.9.18 in /client/goal-view-ui
dependencies
Pull requests that update a dependency file
javascript
Pull requests that update Javascript code
#761
opened Apr 3, 2024 by
dependabot
bot
Loading…
[VsCoq1] Add thread count option, translated to -async-proofs-j
#285
opened Mar 9, 2022 by
Blaisorblade
Loading…
1 of 2 tasks
ProTip!
Type g i on any issue or pull request to go back to the issue listing page.