Skip to content
Changelog check

Fix opam install on a local directory not updating pinned packages' metadata #4745

Sign in to view logs

Fix opam install on a local directory not updating pinned packages' metadata

Fix opam install on a local directory not updating pinned packages' metadata #4745

Triggered via pull request February 25, 2025 21:58
@kit-ty-katekit-ty-kate
synchronize #6209
kit-ty-kate:fix-opam-install-local-pinned
Status Success
Total duration 10s
Artifacts –

changelog_check.yml

on: pull_request
diff
3s
diff
Fit to window
Zoom out
Zoom in