Skip to content

Adopt Eliom 13's Deriving_Json codec for persistent references#703

Draft
balat wants to merge 69 commits into
masterfrom
deriving
Draft

Adopt Eliom 13's Deriving_Json codec for persistent references#703
balat wants to merge 69 commits into
masterfrom
deriving

CI: drop the dune-workspace step duplicated by the #723 merge

ec3e691
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar