Repository navigation

Fix opam install GHA workflows - #587

Merged

jmid merged 3 commits into

mainfrom

opam-install-gha-adjust

Oct 12, 2026

Merged

Fix opam install GHA workflows#587
jmid merged 3 commits into
mainfrom
opam-install-gha-adjust

Commits on Oct 11, 2026
- Adjust existing 5.x workflows to target bugfix releases
  jmid
  committed
  db4f749
- Target released 5.5.x, 5.6.0+trunk, and 5.7.0+trunk
  jmid
  committed
  a312e21
- Add link to Olivier-fest'25 paper
  jmid
  committed
  ec21c86