diff --git a/.github/workflows/windows.yml b/.github/workflows/windows.yml index 9629b2a46a4f..100e61708979 100644 --- a/.github/workflows/windows.yml +++ b/.github/workflows/windows.yml @@ -8,6 +8,7 @@ env: OPAMROOT: D:\opamroot OPAMSOLVERTIMEOUT: 120 MSYS: winsymlinks:native + OCAMLRUNPARAM: b jobs: build: strategy: @@ -112,7 +113,7 @@ jobs: opam update Foreach ($pkg in $pkgs) { Write-Host "::group::Testing `e[1;34m$pkg`e[0m" - opam install --color=always --confirm-level=unsafe-yes "$pkg" + opam install -vv --color=always --confirm-level=unsafe-yes "$pkg" Write-Host "::endgroup::" switch ($LASTEXITCODE) { 0 { Write-Host "`e[1;32m$pkg installed successfully`e[0m."; Break } diff --git a/packages/topkg/topkg.1.1.0/opam b/packages/topkg/topkg.1.1.0/opam index 42c16f6cf553..591922420aac 100644 --- a/packages/topkg/topkg.1.1.0/opam +++ b/packages/topkg/topkg.1.1.0/opam @@ -41,10 +41,11 @@ depends: [ "ocamlbuild" ] build: ["ocaml" "pkg/pkg.ml" "build" "--pkg-name" name "--dev-pkg" "%{dev}%"] +flags: verbose dev-repo: "git+https://erratique.ch/repos/topkg.git" url { src: "https://erratique.ch/software/topkg/releases/topkg-1.1.0.tbz" checksum: "sha512=34d22ae5b6bd166dd4a601a7d12d89c336684b3c56d7c7f481b40837eab263616cc3a6e6f63602f3d4a7d53c911967bf261de6c1ac205341b98a9838e5ea7aeb" } -x-maintenance-intent: ["(latest)"] \ No newline at end of file +x-maintenance-intent: ["(latest)"]