full — diff
From df193bd3dbcc to 4581b8d699f3
Package changes
| Package | Version | Status | Change |
|---|---|---|---|
| ojs_base_ppx | 0.8.0 | failure → cascade | status changed |
Repository commits
opam-repository 6e0a3b49b863..03e1f3c3a292
| Commit | Date | Author | Subject |
|---|---|---|---|
| 03e1f3c3a2 | 2026-11-08 | Marcello Seri | Merge pull request #31132 from jmid/ojs_base_ppx-upper-bound |
| 70791d2c13 | 2026-11-08 | Jan Midtgaard | Add a ppxlib upper bound for ojs_base_ppx.0.8.0 |