Code

fix(coq): delay boot type detection#9845

Code

Merged

ejgallego merged 1 commit intomainocaml/dune:mainfrom ps/rr/fix_coq___delay_boot_type_detectionocaml/dune:ps/rr/fix_coq___delay_boot_type_detectionCopy head branch name to clipboardFeb 9, 2024

+271-30

Commits

Commits on Feb 9, 2024

• fix(coq): delay boot type detection

  Show description for f70fa83
  

  rgrinberg

  authored and

  ejgallego

  committed
  f70fa83