Skip to content
CI

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

Sign in to view logs

GHA: Use SHA from PR HEAD commit for pkg name

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

opam_dune_build (ubuntu-22.04, 4.12.x)

opam_dune_build (ubuntu-22.04, 4.12.x)
succeeded Feb 19, 2025 in 1m 51s