Skip to content

Fix depgraph - #287

Merged
Lysxia merged 3 commits into
masterfrom
depgraph
Nov 2, 2026
Merged

Fix depgraph#287
Lysxia merged 3 commits into
masterfrom
depgraph

ci: Use a different version of OCaml for coq-8.14 and 8.15

6d12a03
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar