Skip to content

Improvements to opam init "Git" menu on Windows #3653

Improvements to opam init "Git" menu on Windows

Improvements to opam init "Git" menu on Windows #3653

Workflow file for this run

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