Skip to content

Changes

#2929 (Aug 18, 2025, 11:12:18 AM)

  1. Changes: 14169 was included in 5.4 (commit: e6231db) — gabriel.scherer / githubweb

#2928 (Aug 18, 2025, 11:06:32 AM)

  1. ocamlprof: do not instrument unreachable clauses (commit: 2b6d2b0) — gabriel.scherer / githubweb
  2. Changes (commit: b65a90c) — gabriel.scherer / githubweb

#2928 (Aug 18, 2025, 11:06:32 AM)

  1. ocamlprof: do not instrument unreachable clauses (commit: 2b6d2b0) — gabriel.scherer / githubweb
  2. Changes (commit: b65a90c) — gabriel.scherer / githubweb
  3. Changes: 14169 was included in 5.4 (commit: e6231db) — gabriel.scherer / githubweb

#2927 (Aug 13, 2025, 11:25:26 AM)

  1. 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)

  1. 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
  2. ocamlprof: do not instrument unreachable clauses (commit: 2b6d2b0) — gabriel.scherer / githubweb
  3. Changes (commit: b65a90c) — gabriel.scherer / githubweb
  4. Changes: 14169 was included in 5.4 (commit: e6231db) — gabriel.scherer / githubweb

#2926 (Aug 8, 2025, 5:46:41 PM)

  1. 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
  2. ocamlprof: do not instrument unreachable clauses (commit: 2b6d2b0) — gabriel.scherer / githubweb
  3. Changes (commit: b65a90c) — gabriel.scherer / githubweb
  4. Changes: 14169 was included in 5.4 (commit: e6231db) — gabriel.scherer / githubweb

#2925 (Aug 7, 2025, 3:55:20 PM)

  1. Ensure the minor heap is actually empty before reallocating it (commit: 0c50c0f) — mshinwell / githubweb

#2925 (Aug 7, 2025, 3:55:20 PM)

  1. Ensure the minor heap is actually empty before reallocating it (commit: 0c50c0f) — mshinwell / githubweb
  2. 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
  3. ocamlprof: do not instrument unreachable clauses (commit: 2b6d2b0) — gabriel.scherer / githubweb
  4. Changes (commit: b65a90c) — gabriel.scherer / githubweb
  5. Changes: 14169 was included in 5.4 (commit: e6231db) — gabriel.scherer / githubweb

#2924 (Aug 6, 2025, 11:37:52 AM)

  1. error message: explain quantification mismatches (commit: 524fd24) — Florian Angeletti / githubweb
  2. update Changes (commit: 00666f6) — Florian Angeletti / githubweb

#2924 (Aug 6, 2025, 11:37:52 AM)

  1. Ensure the minor heap is actually empty before reallocating it (commit: 0c50c0f) — mshinwell / githubweb
  2. error message: explain quantification mismatches (commit: 524fd24) — Florian Angeletti / githubweb
  3. update Changes (commit: 00666f6) — Florian Angeletti / githubweb
  4. 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
  5. ocamlprof: do not instrument unreachable clauses (commit: 2b6d2b0) — gabriel.scherer / githubweb
  6. Changes (commit: b65a90c) — gabriel.scherer / githubweb
  7. Changes: 14169 was included in 5.4 (commit: e6231db) — gabriel.scherer / githubweb

#2870 (Jun 26, 2025, 5:51:56 PM)

  1. check-typo: be more liberal with url (commit: 5963db9) — david.allsopp / githubweb
  2. Merge pull request #13749 from tmcgilchrist/patch-1 (commit: 9eed0b1) — david.allsopp / githubweb
  3. Unified CI cherry-pick: PR#13724 (commit: 7ad0a4a) — david.allsopp / githubweb
  4. Merge pull request #13840 from dra27/apt-update (commit: 509e416) — david.allsopp / githubweb
  5. Merge pull request #13857 from MisterDA/gha-cygwin-make (commit: 7aa888c) — david.allsopp / githubweb
  6. Merge pull request #13954 from dra27/cygwin (commit: 464de25) — david.allsopp / githubweb
  7. Fix hygiene check for generating `configure` (#13935) (commit: d34ee86) — david.allsopp / githubweb
  8. Merge pull request #14013 from dra27/more-ci-tweaks (commit: 8899c05) — david.allsopp / githubweb