Skip to content

Pull requests: coq/platform

New pull request New
15 Open 221 Closed
15 Open 221 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

Give more detail on creating customized versions
#430 opened Sep 11, 2024 by jfehrle Loading…
Add a pick for 8.19.2 with the Ltac2 debugger (preview)
#429 opened Sep 11, 2024 by jfehrle Loading…
7
[2023.11] [coq-lsp 0.2.0] [v8.20] Draft Windows build
#427 opened Sep 9, 2024 by ejgallego • Draft
Add Tactician to the platform
#423 opened Jul 19, 2024 by LasseBlaauwbroek • Draft
22
[2023.11] [coq-lsp 0.2.0] [v8.19] Draft Windows build
#399 opened Feb 5, 2024 by ejgallego • Draft
13
[2023.08] [coq-lsp 0.2.0] [v8.18] Draft Windows build
#369 opened Sep 29, 2023 by ejgallego • Draft
[2023.08] [coq-lsp 0.2.0] [v8.17] Draft Windows build
#368 opened Sep 26, 2023 by ejgallego • Draft
11
Add editorial board
#353 opened Jul 18, 2023 by ybertot Loading…
5
add vscoq language server
#348 opened Jun 17, 2023 by gares Loading…
1
8
Improved Macos CI
#328 opened Feb 13, 2023 by maximedenes Loading…
7
[dev pick] Add coq-lsp to dev pick.
#321 opened Jan 17, 2023 by ejgallego Loading…
6
snap: switch to base core20
#313 opened Nov 21, 2022 by gares Loading…
20
[do not merge] math-comp-school-2022
#310 opened Nov 14, 2022 by gares • Draft
2 tasks done
24
Add CI for spell check and other linters
#231 opened Mar 23, 2022 by k4rtik • Draft
21
[wip] script to copy Coq's CI info into the platform
#44 opened Dec 15, 2020 by gares • Draft
26
ProTip! Type g i on any issue or pull request to go back to the issue listing page.