Skip to content

test: reproduce issue #1748 - #1750

Draft
voodoos wants to merge 2 commits into
ocaml:mainfrom
voodoos:repro-1748
Draft

test: reproduce issue #1748#1750
voodoos wants to merge 2 commits into
ocaml:mainfrom
voodoos:repro-1748

Synthesize a node for module ident of [open_description]

1fafb75
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs