Skip to content

Resolve dune >= 3.0 sources by mapping /workspace_root - #94

Open
tmcgilchrist wants to merge 3 commits into
hackwaly:masterfrom
tmcgilchrist:dune_source_resolution
Open

Resolve dune >= 3.0 sources by mapping /workspace_root#94
tmcgilchrist wants to merge 3 commits into
hackwaly:masterfrom
tmcgilchrist:dune_source_resolution

Resolve dune >= 3.0 sources by mapping /workspace_root

875d1db
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
build (ubuntu-latest, 5.2.x)
succeeded Jul 22, 2026 in 2m 28s