Skip to content

avoid pipe in dune#8

Merged
hannesm merged 1 commit into
mirage:zarith-1.14from
hannesm:zarith-1.14
Jun 16, 2026
Merged

avoid pipe in dune#8
hannesm merged 1 commit into
mirage:zarith-1.14from
hannesm:zarith-1.14

avoid pipe in dune for debugging

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

Annotations

1 error and 1 warning
Ubuntu
failed Jun 15, 2026 in 18s