Skip to content

Pull requests: tarides/dune-release

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
Assignee
Filter by who’s assigned
Sort

Pull requests list

WIP: fix tests on Windows
#378 opened Jul 9, 2021 by emillon Draft
howto setup ssh aliases
#440 opened Apr 5, 2022 by pbaudin
refactor Cmdliner usage from $ to let+ no changelog Add this to your PRs to disable the changelog update check
#503 opened Feb 6, 2025 by v-gb
ProTip! Type g i on any issue or pull request to go back to the issue listing page.