Skip to content

Pull requests: ocaml/opam

New pull request New
116 Open 3,024 Closed
116 Open 3,024 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
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Reftest: update sed-cmd AREA: TEST PR: NEEDS UPDATE
#6675 opened Sep 5, 2025 by rjbou Loading…
1
logging: fix log file management for tests AREA: TEST
#6673 opened Sep 4, 2025 by rjbou Loading…
1 task done
2.5.0~alpha1
1
opam remove --force no longer run commands in current directory KIND: BUG PR: QUEUED Pending pull request, waiting for other work to be merged or closed
#6672 opened Sep 4, 2025 by rjbou Loading… 2.5.0~alpha1
1
9
Add support for OCaml 5.5 AREA: BUILD
#6670 opened Sep 4, 2025 by kit-ty-kate • Draft
2 tasks
2.5.0~alpha1
Make the computation of pkg:opamfile match its specification KIND: BUG PRIORITY
#6659 opened Aug 28, 2025 by kit-ty-kate Loading… 2.5.0~alpha1
1
4
GHA: make shellcheck check every bash GHA scripts AREA: TEST
#6654 opened Aug 26, 2025 by kit-ty-kate • Draft 2.5.0~alpha1
Add AppArmor support to the install script AREA: SCRIPTS
#6647 opened Aug 22, 2025 by kit-ty-kate Loading… 2.5.0~alpha1
1
GHA: post comments on opam dependencies projects status AREA: TEST
#6646 opened Aug 22, 2025 by rjbou • Draft
@arozovyk
Replace every polymorphic uses of List.mem by a version that doesn't use Repr.equal AREA: API
#6644 opened Aug 18, 2025 by kit-ty-kate Loading… 2.5.0~alpha1
2
[Haiku] Add missing references to Haiku package manager AREA: PORTABILITY PR: NEEDS UPDATE
#6641 opened Aug 14, 2025 by Sylvain78 • Draft 2.5.0~alpha1
4
Add support for Chimera Linux AREA: DEPEXTS
#6635 opened Aug 8, 2025 by kit-ty-kate Loading… 2.5.0~alpha1
[WIP] Improve performance of opam update/init by changing the structure of the internal http opam repositories (use the tar.gz as-is) AREA: DESIGN AREA: ENGINE AREA: PERFORMANCE AREA: PORTABILITY AREA: REPOSITORY PR: WIP Not for merge at this stage PRIORITY
#6625 opened Jul 31, 2025 by kit-ty-kate • Draft 2.5.0~alpha1
5
2
opam update: load only changed opam files AREA: PERFORMANCE PRIORITY
#6614 opened Jul 22, 2025 by arozovyk Loading… 2.5.0~alpha1
1
58
Fix pinned depends being ignored on simulated pins KIND: BUG PRIORITY
#6611 opened Jul 20, 2025 by kit-ty-kate Loading… 2.5.0~alpha1
1
Disable the use of bash scripts when sh is detected
#6604 opened Jul 17, 2025 by kit-ty-kate Loading…
1
Bash support: write to the .bashrc instead of the .profile file AREA: ENGINE
#6603 opened Jul 17, 2025 by kit-ty-kate Loading… 2.5.0~alpha1
3
Fix opam pin list when the internal source directory of the pinned package doesn't exist KIND: BUG
#6597 opened Jul 15, 2025 by kit-ty-kate • Draft 2.5.0~alpha1
4
Update Windows bootstrap dependencies AREA: BUILD AREA: PORTABILITY
#6592 opened Jul 10, 2025 by MisterDA • Draft 2.5.0~alpha1
1
Switch the default solver from builtin-mccs+glpk to builtin-0install AREA: PERFORMANCE AREA: SOLVER PR: WIP Not for merge at this stage
#6586 opened Jul 4, 2025 by kit-ty-kate • Draft 2.5.0~alpha1
Switch creation invariant computation: update not found behaviour
#6572 opened Jun 25, 2025 by rjbou • Draft
Update to the next version of patch
#6568 opened Jun 23, 2025 by kit-ty-kate • Draft 2.5.0~alpha1
1
Add a benchmark for opam update AREA: PERFORMANCE AREA: TEST
#6567 opened Jun 22, 2025 by kit-ty-kate • Draft 2.5.0~alpha1
1
Enforce dry run not changing opam root PR: WIP Not for merge at this stage
#6565 opened Jun 20, 2025 by rjbou • Draft
4
Reftest engine: avoid launching a sed on removed lines AREA: TEST PR: WIP Not for merge at this stage
#6552 opened Jun 16, 2025 by rjbou • Draft
Debug sections filter PR: QUEUED Pending pull request, waiting for other work to be merged or closed PR: WIP Not for merge at this stage
#6551 opened Jun 16, 2025 by rjbou • Draft
1
ProTip! Mix and match filters to narrow down what you’re looking for.