Bump version and make release job

Workflow runs for Bump version and make release job

• Update dependency: deps/k_release (#4143)

  failed:
  Bump version and make release job#165:Commitec0486cpushedbyjberthold
  master

  Sep 30, 202613m 26s
  More actions for workflow run 165

• Preserve symbolic List frames in matcher residuals (adopted) (#4163)

  failed:
  Bump version and make release job#164:Commitd84a541pushedbyjberthold
  master

  Sep 30, 202624m 0s
  More actions for workflow run 164

• ci(test): remove PAT and Cachix token dependencies from the Test work…

  failed:
  Bump version and make release job#163:Commitad54c7apushedbyjuliankuners
  master

  Jul 7, 202612m 34s
  More actions for workflow run 163

• Booster implies: discharge leftover consequent obligations under the …

  completed successfully:
  Bump version and make release job#162:Commit163997fpushedbyehildenb
  master

  Jun 18, 202613m 5s
  More actions for workflow run 162

• Return MatchIndeterminate (not MatchFailed) for mixed-determinacy mat…

  completed successfully:
  Bump version and make release job#161:Commit6f17f7epushedbyautomergerpr-permission-manager[bot]Bot
  master

  Jun 16, 202613m 0s
  More actions for workflow run 161

• booster/unit-tests/Pattern/MatchDispatch: exhaustive dispatch-class g…

  completed successfully:
  Bump version and make release job#160:Commiteb2da06pushedbyehildenb
  master

  Jun 15, 202613m 8s
  More actions for workflow run 160

• Booster: tunable in-place equation evaluation at rewritten subterms (…

  completed successfully:
  Bump version and make release job#159:Commit5679e50pushedbyehildenb
  master

  Jun 11, 202613m 25s
  More actions for workflow run 159

• Remove warning about deprecated Node (#4154)

  completed successfully:
  Bump version and make release job#158:Commit4c231b3pushedbyautomergerpr-permission-manager[bot]Bot
  master

  Jun 11, 202612m 27s
  More actions for workflow run 158

• Per-request JSON-RPC log capture via the haskell-logging entry list (…

  completed successfully:
  Bump version and make release job#157:Commite3cfc9dpushedbyautomergerpr-permission-manager[bot]Bot
  master

  Jun 4, 202612m 8s
  More actions for workflow run 157

• Prune indeterminate-match rules using the matcher's partial substitut…

  completed successfully:
  Bump version and make release job#156:Commite92393apushedbyehildenb
  master

  Jun 2, 202611m 6s
  More actions for workflow run 156

• Richer kore-invocation log events; generalise booster-only flag (#4149)

  completed successfully:
  Bump version and make release job#155:Commit3c4a3e7pushedbyautomergerpr-permission-manager[bot]Bot
  master

  Jun 1, 202610m 48s
  More actions for workflow run 155

• Additional Kore logging, Claude enablement, boosteryOnly simplificati…

  completed successfully:
  Bump version and make release job#154:Commitdc48de7pushedbyehildenb
  master

  May 27, 202622m 45s
  More actions for workflow run 154

• Update dependency: deps/k_release (#4136)

  completed successfully:
  Bump version and make release job#153:Commit00479fbpushedbyautomergerpr-permission-manager[bot]Bot
  master

  Feb 1, 202612m 12s
  More actions for workflow run 153

• Hotfix indeterminate match for supersort function under injection (#4…

  completed successfully:
  Bump version and make release job#152:Commit830d8c3pushedbyjberthold
  master

  Jan 29, 202612m 6s
  More actions for workflow run 152

• Only check top-level symbol when deciding to skip sort predicate rule…

  completed successfully:
  Bump version and make release job#151:Commitaa2aeb9pushedbyjberthold
  master

  Dec 18, 202512m 5s
  More actions for workflow run 151

• Refuse to apply sort predicates to unevaluated terms (#4133)

  completed successfully:
  Bump version and make release job#150:Commitb88b8b6pushedbyjberthold
  master

  Dec 12, 202525m 39s
  More actions for workflow run 150

• Update dependency: deps/k_release (#4130)

  completed successfully:
  Bump version and make release job#149:Commit978a558pushedbyautomergerpr-permission-manager[bot]Bot
  master

  Oct 21, 202512m 14s
  More actions for workflow run 149

• Update dependency: deps/k_release (#4129)

  failed:
  Bump version and make release job#148:Commit8a7a281pushedbyjberthold
  master

  Oct 16, 202511m 57s
  More actions for workflow run 148

• Update dependency: deps/k_release (#4126)

  completed successfully:
  Bump version and make release job#147:Commitb2fa7e6pushedbyautomergerpr-permission-manager[bot]Bot
  master

  Oct 14, 202512m 9s
  More actions for workflow run 147

• Dropping IOHK from WFs (#4128)

  completed successfully:
  Bump version and make release job#146:Commit9b7ae0apushedbyFWBlueWizard
  master

  Oct 13, 202511m 48s
  More actions for workflow run 146

• Set MacOS CI Runner Version to Latest (#4127)

  completed successfully:
  Bump version and make release job#145:Commitcacff55pushedbyFWBlueWizard
  master

  Oct 8, 202525m 39s
  More actions for workflow run 145

• Update dependency: deps/k_release (#4125)

  completed successfully:
  Bump version and make release job#144:Commit91af63dpushedbyautomergerpr-permission-manager[bot]Bot
  master

  Sep 14, 202525m 57s
  More actions for workflow run 144