Changes
#2929 (Aug 18, 2025, 11:12:18 AM)
- Changes: 14169 was included in 5.4 (commit: e6231db) — gabriel.scherer / githubweb
#2928 (Aug 18, 2025, 11:06:32 AM)
- ocamlprof: do not instrument unreachable clauses (commit: 2b6d2b0) — gabriel.scherer / githubweb
- Changes (commit: b65a90c) — gabriel.scherer / githubweb
#2928 (Aug 18, 2025, 11:06:32 AM)
- ocamlprof: do not instrument unreachable clauses (commit: 2b6d2b0) — gabriel.scherer / githubweb
- Changes (commit: b65a90c) — gabriel.scherer / githubweb
- Changes: 14169 was included in 5.4 (commit: e6231db) — gabriel.scherer / githubweb
#2927 (Aug 13, 2025, 11:25:26 AM)
- Remove misleading comment, and change call back to the more intuitive function (now that that function can't allocate after the minor GC). (commit: 38a962c) — Nick.Barnes / githubweb
#2927 (Aug 13, 2025, 11:25:26 AM)
- Remove misleading comment, and change call back to the more intuitive function (now that that function can't allocate after the minor GC). (commit: 38a962c) — Nick.Barnes / githubweb
- ocamlprof: do not instrument unreachable clauses (commit: 2b6d2b0) — gabriel.scherer / githubweb
- Changes (commit: b65a90c) — gabriel.scherer / githubweb
- Changes: 14169 was included in 5.4 (commit: e6231db) — gabriel.scherer / githubweb
#2926 (Aug 8, 2025, 5:46:41 PM)
- Remove misleading comment, and change call back to the more intuitive function (now that that function can't allocate after the minor GC). (commit: 38a962c) — Nick.Barnes / githubweb
- ocamlprof: do not instrument unreachable clauses (commit: 2b6d2b0) — gabriel.scherer / githubweb
- Changes (commit: b65a90c) — gabriel.scherer / githubweb
- Changes: 14169 was included in 5.4 (commit: e6231db) — gabriel.scherer / githubweb
#2925 (Aug 7, 2025, 3:55:20 PM)
- Ensure the minor heap is actually empty before reallocating it (commit: 0c50c0f) — mshinwell / githubweb
#2925 (Aug 7, 2025, 3:55:20 PM)
- Ensure the minor heap is actually empty before reallocating it (commit: 0c50c0f) — mshinwell / githubweb
- Remove misleading comment, and change call back to the more intuitive function (now that that function can't allocate after the minor GC). (commit: 38a962c) — Nick.Barnes / githubweb
- ocamlprof: do not instrument unreachable clauses (commit: 2b6d2b0) — gabriel.scherer / githubweb
- Changes (commit: b65a90c) — gabriel.scherer / githubweb
- Changes: 14169 was included in 5.4 (commit: e6231db) — gabriel.scherer / githubweb
#2924 (Aug 6, 2025, 11:37:52 AM)
- error message: explain quantification mismatches (commit: 524fd24) — Florian Angeletti / githubweb
- update Changes (commit: 00666f6) — Florian Angeletti / githubweb
#2924 (Aug 6, 2025, 11:37:52 AM)
- Ensure the minor heap is actually empty before reallocating it (commit: 0c50c0f) — mshinwell / githubweb
- error message: explain quantification mismatches (commit: 524fd24) — Florian Angeletti / githubweb
- update Changes (commit: 00666f6) — Florian Angeletti / githubweb
- Remove misleading comment, and change call back to the more intuitive function (now that that function can't allocate after the minor GC). (commit: 38a962c) — Nick.Barnes / githubweb
- ocamlprof: do not instrument unreachable clauses (commit: 2b6d2b0) — gabriel.scherer / githubweb
- Changes (commit: b65a90c) — gabriel.scherer / githubweb
- Changes: 14169 was included in 5.4 (commit: e6231db) — gabriel.scherer / githubweb
#2870 (Jun 26, 2025, 5:51:56 PM)
- check-typo: be more liberal with url (commit: 5963db9) — david.allsopp / githubweb
- Merge pull request #13749 from tmcgilchrist/patch-1 (commit: 9eed0b1) — david.allsopp / githubweb
- Unified CI cherry-pick: PR#13724 (commit: 7ad0a4a) — david.allsopp / githubweb
- Merge pull request #13840 from dra27/apt-update (commit: 509e416) — david.allsopp / githubweb
- Merge pull request #13857 from MisterDA/gha-cygwin-make (commit: 7aa888c) — david.allsopp / githubweb
- Merge pull request #13954 from dra27/cygwin (commit: 464de25) — david.allsopp / githubweb
- Fix hygiene check for generating `configure` (#13935) (commit: d34ee86) — david.allsopp / githubweb
- Merge pull request #14013 from dra27/more-ci-tweaks (commit: 8899c05) — david.allsopp / githubweb