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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
diff
3s
3s