anil.recoil.org / opam-repository
this repo has no description
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

Merge pull request #26073 from kit-ty-kate/windows-ci

GHA Windows: add a special case for packages that are not available

authored by

David Allsopp and committed by
GitHub 25b506f8 d3c97597

+1
+1
.github/workflows/windows.yml
··· 77 77 opam install --confirm-level=unsafe-yes "$pkg" 78 78 switch ($LASTEXITCODE) { 79 79 0 { Break } 80 + 5 { Write-Host "$pkg is not installable. Skip."; Break } # TODO: Remove when https://github.com/ocaml/opam/issues/6017 is fixed 80 81 20 { Write-Host "$pkg is not installable. Skip."; Break } 81 82 31 { Write-Host "$pkg failed to build."; $failed = $true; Break } 82 83 default { throw "Unexpected error $_" }