Skip to content

Pull requests: coq/platform

New pull request New
14 Open 199 Closed
14 Open 199 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
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

Package updates
#411 opened Apr 22, 2024 by rtetley Loading…
6
[2023.11] [coq-lsp 0.1.9] [v8.19] Draft Windows build
#399 opened Feb 5, 2024 by ejgallego • Draft
5
[2023.08] [coq-lsp 0.1.9] [v8.18] Draft Windows build
#369 opened Sep 29, 2023 by ejgallego • Draft
[2023.08] [coq-lsp 0.1.9] [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
3
Improved Macos CI
#328 opened Feb 13, 2023 by maximedenes Loading…
7
Snap experiments
#327 opened Feb 1, 2023 by MSoegtropIMC Loading…
[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
Pick dev: temporarily disable/pin failing packages
#308 opened Nov 4, 2022 by MSoegtropIMC Loading…
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! What’s not been updated in a month: updated:<2024-04-30.