Skip to content

GHA: Use SHA from PR HEAD commit for pkg name #707

GHA: Use SHA from PR HEAD commit for pkg name

GHA: Use SHA from PR HEAD commit for pkg name #707

build (ubuntu-22.04, ocaml-variants.4.14.2+options,ocaml-option-32bit, true, -ubuntu-i386)

succeeded Feb 19, 2025 in 2m 42s