Changes
#2842 (Jun 11, 2025, 3:23:14 PM)
- Changes bookkeeping: missing reviewer (commit: 12ea618) — Florian Angeletti / githubweb
#2841 (Jun 10, 2025, 6:33:59 PM)
- Improve handling of packages in typing/gprinttyp.ml to put the name of the constraint on the arrow (commit: aeb980b) — samuel.aime.vivien / githubweb
- For stores on Apple Silicon, emit `stlr` instead of `dmb ishld; str`. (commit: 48b9b73) — kc / githubweb
- Introduce Sixtyfour memory chunk to handle unaligned accesses (commit: 5f2b948) — kc / githubweb
- Address reviewer comments. (commit: a2e25d6) — kc / githubweb
- Catch invalid aliases at merging rather than subtyping (#14066) (commit: 5607fc4) — noreply / githubweb
#2840 (Jun 10, 2025, 6:20:11 PM)
- error messages: point mismatched univars (commit: 511e95b) — Florian Angeletti / githubweb
- update Changes (commit: b5a884a) — Florian Angeletti / githubweb
#2839 (Jun 9, 2025, 10:21:43 PM)
- Switch back to ubuntu-latest (commit: 342a643) — david.allsopp / githubweb
#2838 (Jun 9, 2025, 2:10:29 PM)
- Add missing `item-attribute` rule for `let-binding` in documentation of attributes (#14077) (commit: 48efc58) — noreply / githubweb