Skip to content

fix: do not try to trim dune cache#27

Closed
yosefAlsuhaibani wants to merge 3 commits into
masterfrom
yosef/do-not-clear-dune-cache
Closed

fix: do not try to trim dune cache#27
yosefAlsuhaibani wants to merge 3 commits into
masterfrom
yosef/do-not-clear-dune-cache

fixup! fixup! fix: do not try to trim dune cache

4f6d966
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar