Changes
#2883 (Jun 11, 2025, 3:23:14 PM)
- Changes bookkeeping: missing reviewer (commit: 12ea618) — Florian Angeletti / githubweb
#2882 (Jun 10, 2025, 6:36:31 PM)
- 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
#2881 (Jun 10, 2025, 6:28:36 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
- Catch invalid aliases at merging rather than subtyping (#14066) (commit: 5607fc4) — noreply / githubweb
#2880 (Jun 10, 2025, 6:20:11 PM)
- error messages: point mismatched univars (commit: 511e95b) — Florian Angeletti / githubweb
- update Changes (commit: b5a884a) — Florian Angeletti / githubweb
#2879 (Jun 9, 2025, 10:21:43 PM)
- Switch back to ubuntu-latest (commit: 342a643) — david.allsopp / githubweb
#2830 (May 7, 2025, 5:40:33 PM)
- Fix memory corruption when an exception is raised during demarshaling. (#14015) (commit: 5745a8f) — david.allsopp / githubweb