Repository navigation

Update GHA CI workflows - #50

Merged

jmid merged 7 commits into

mainfrom

Sep 14, 2026

Merged

Update GHA CI workflows#50
jmid merged 7 commits into
mainfrom
widen-ci

Commits on Sep 14, 2026
- Adjust CI to mimic user's opam install workflow
  jmid
  committed
  3af6bf6
- Expand CI matrix to include 5.4.x and 5.5.x
  jmid
  committed
  7e9b8b9
- Adjust CI to not trigger duplicate PR+push CI workflows
  jmid
  committed
  ca076c3
- Update actions/checkout to v6
  jmid
  committed
  ffe37ad
- Don't reinstall with --deps-only option
  jmid
  committed
  99e57d6
- Make exit code from --with-test conditional
  jmid
  committed
  66ab4d2
- Don't exit immediately on a Nothing to do. failure
  jmid
  committed
  420c54d