Skip to content

[herd] Fix placement of po edges in dot graphs#1808

Merged
fsestini merged 2 commits into
herd:masterfrom
fsestini:fix-po-graphs
Apr 27, 2026
Merged

[herd] Fix placement of po edges in dot graphs#1808
fsestini merged 2 commits into
herd:masterfrom
fsestini:fix-po-graphs

[herd] Add regression test

30bca9d
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Make test on OCaml latest lts
succeeded Apr 27, 2026 in 5m 5s