Skip to content

build: remove pin-depends now that ppxlib is released#2924

Merged
anmonteiro merged 1 commit into
masterfrom
anmonteiro/rm-pins
Jun 22, 2026
Merged

build: remove pin-depends now that ppxlib is released#2924
anmonteiro merged 1 commit into
masterfrom
anmonteiro/rm-pins

build: remove pin-depends now that ppxlib is released

474be53
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar