Skip to content

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

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

Workflow file for this run

name: Changelog check
on:
pull_request:
branches: master
jobs:
diff:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- run: bash .github/scripts/changelog/checker.sh