Author
Label
Projects
Milestones
Reviews
Assignee
Sort
[install_rules] Allow for stanzas to install files in different packages
#4908
opened Sep 8, 2021 by
ejgallego
Make dune fail when trying to build empty packages (fixes #2882)
#4867
opened Aug 20, 2021 by
kit-ty-kate
2 of 3 tasks
[WIP] Add volatile memo nodes to improve handling of non-reproducible computations
#4739
opened Jun 15, 2021 by
snowleopard
•
Draft
[coq] Default for mode vo/native according to coqc configuration
#4722
opened Jun 10, 2021 by
proux01
Previous Next
ProTip!
Filter pull requests by the default branch with base:main.