Skip to content

Remove installed packages from Mirage duniverse - #426

Open
funwithcthulhu wants to merge 1 commit into
camlworks:masterfrom
funwithcthulhu:temp/mirage-ci-ohex
Open

Remove installed packages from Mirage duniverse#426
funwithcthulhu wants to merge 1 commit into
camlworks:masterfrom
funwithcthulhu:temp/mirage-ci-ohex

Remove installed packages from Mirage duniverse

8342023
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
quickstart (ubuntu-22.04, 5.2.x)
succeeded May 22, 2026 in 5m 12s