-
Notifications
You must be signed in to change notification settings - Fork 373
Pull requests: ocaml/opam
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Move the equality check between a pinned package and its upstream to OpamFile.OPAM.effectively_equal_modulo_pin
AREA: API
AREA: ENGINE
PR: QUEUED
Pending pull request, waiting for other work to be merged or closed
PR: WIP
Not for merge at this stage
#6446
opened Mar 31, 2025 by
kit-ty-kate
•
Draft
[WIP] Save disk space by only caching dev packages into the internal 'sources' directory
AREA: PERFORMANCE
AREA: PORTABILITY
PR: WIP
Not for merge at this stage
#6440
opened Mar 29, 2025 by
kit-ty-kate
•
Draft
pin: only display a "is now pinned to" message if the package is not already pinned
#6437
opened Mar 27, 2025 by
kit-ty-kate
•
Draft
Change default behaviour for retrieving uncommitted opam files in vcs pin
AREA: UI
PR: WIP
Not for merge at this stage
Move OpamSWHID and its dependency towards the swhid_core library from opam-core to opam-format
PR: WIP
Not for merge at this stage
#6415
opened Mar 11, 2025 by
kit-ty-kate
•
Draft
Fix opam file lookup when a pin is done with a local directory and a branch is specified
KIND: BUG
PR: WIP
Not for merge at this stage
Encourage reading the opam file only once when pinning it
#6406
opened Mar 1, 2025 by
kit-ty-kate
Loading…
Set log dir as temporary directory on safe mode
PR: WIP
Not for merge at this stage
#6403
opened Feb 27, 2025 by
rjbou
Loading…
3 tasks
GHA: add a job that test plugins compilation
AREA:TEST
PR: NEEDS UPDATE
#6394
opened Feb 21, 2025 by
rjbou
Loading…
3 tasks
Internal Pending pull request, waiting for other work to be merged or closed
PR: WAITING FOR REVIEW
repos-config
new syntax
PR: QUEUED
opam admin
: enforce repository root check for all commands and add upgrade advice
PR: NEEDS UPDATE
#6391
opened Feb 19, 2025 by
rjbou
Loading…
Quote command line arguments if necessary when printing them
AREA: API
AREA: UI
PR: WIP
Not for merge at this stage
Nushell support
PR: WIP
Not for merge at this stage
#6330
opened Dec 10, 2024 by
benjamin-voisin
Loading…
Previous Next
ProTip!
Follow long discussions with comments:>50.