Bump version and make master job

Workflow runs for Bump version and make master job

• Update dependency: deps/haskell-backend_release (#4935)

  completed successfully:
  Bump version and make master job#1301:Commitb1419c1pushedbyehildenb
  develop

  Jun 18, 202618s
  More actions for workflow run 1301

• Introduce --step-timeout option for kprove to ensure timely termi…

  completed successfully:
  Bump version and make master job#1300:Commit3b9cd43pushedbyStevengre
  develop

  Jun 17, 202619s
  More actions for workflow run 1300

• Update dependency: deps/haskell-backend_release (#4933)

  completed successfully:
  Bump version and make master job#1299:Commit9f3b576pushedbyautomergerpr-permission-manager[bot]Bot
  develop

  Jun 17, 202627s
  More actions for workflow run 1299

• Update dependency: deps/haskell-backend_release (#4932)

  completed successfully:
  Bump version and make master job#1298:Commit44f644bpushedbyehildenb
  develop

  Jun 11, 202623s
  More actions for workflow run 1298

• pyk: per-request haskell-backend RPC logging (#4928)

  completed successfully:
  Bump version and make master job#1297:Commit32499b6pushedbyehildenb
  develop

  Jun 5, 202622s
  More actions for workflow run 1297

• Update dependency: deps/haskell-backend_release (#4929)

  completed successfully:
  Bump version and make master job#1296:Commitfb2fde2pushedbyautomergerpr-permission-manager[bot]Bot
  develop

  Jun 4, 202627s
  More actions for workflow run 1296

• Optimize Nix release workflow (#4927)

  completed successfully:
  Bump version and make master job#1295:Commit195ce2dpushedbyautomergerpr-permission-manager[bot]Bot
  develop

  Jun 4, 202619s
  More actions for workflow run 1295

• Update dependency: deps/haskell-backend_release (#4926)

  completed successfully:
  Bump version and make master job#1294:Commit5cbb488pushedbyehildenb
  develop

  Jun 3, 202623s
  More actions for workflow run 1294

• pyk: small fixes and additions across kast, ktool, and kore-rpc (#4922)

  completed successfully:
  Bump version and make master job#1293:Commitef68df8pushedbyautomergerpr-permission-manager[bot]Bot
  develop

  May 30, 202617s
  More actions for workflow run 1293

• Update regression-new test harness for pyk, enable checks directory a…

  completed successfully:
  Bump version and make master job#1292:Commiteda148dpushedbyehildenb
  develop

  May 29, 202622s
  More actions for workflow run 1292

• Update dependency: deps/llvm-backend_release (#4921)

  completed successfully:
  Bump version and make master job#1291:Commit68f2d6fpushedbyautomergerpr-permission-manager[bot]Bot
  develop

  May 28, 202620s
  More actions for workflow run 1291

• Enable booster-only simplification via RPC flag, JSON logging on RPC,…

  completed successfully:
  Bump version and make master job#1290:Commit79fb735pushedbyehildenb
  develop

  May 28, 202618s
  More actions for workflow run 1290

• Update dependency: deps/haskell-backend_release (#4902)

  completed successfully:
  Bump version and make master job#1289:Commit0322e11pushedbyehildenb
  develop

  May 27, 202621s
  More actions for workflow run 1289

• Rip out homebrew builds (#4920)

  completed successfully:
  Bump version and make master job#1288:Commit021111cpushedbyehildenb
  develop

  May 27, 202623s
  More actions for workflow run 1288

• pyk: fix add_cell_map_items over-wrapping, add --parser to pyk run (#…

  completed successfully:
  Bump version and make master job#1287:Commit1b77945pushedbyautomergerpr-permission-manager[bot]Bot
  develop

  May 12, 202620s
  More actions for workflow run 1287

• Support more attributes in pyk, skip polymorphic rule handling in fro…

  completed successfully:
  Bump version and make master job#1286:Commit78ba5dcpushedbyehildenb
  develop

  May 8, 202619s
  More actions for workflow run 1286

• Update regression new (#4914)

  completed successfully:
  Bump version and make master job#1285:Commite960240pushedbyautomergerpr-permission-manager[bot]Bot
  develop

  May 7, 202625s
  More actions for workflow run 1285

• Handle sort parameters correctly in JSON Kast format (#4913)

  completed successfully:
  Bump version and make master job#1284:Commit79fae65pushedbyehildenb
  develop

  Apr 27, 202623s
  More actions for workflow run 1284

• Support Claude as developer, add --top-cell flag to pyk kompile (…

  completed successfully:
  Bump version and make master job#1283:Commit54b9fb6pushedbyehildenb
  develop

  Apr 27, 202622s
  More actions for workflow run 1283

• Fix/cachix pin no response - follow up (#4910)

  completed successfully:
  Bump version and make master job#1282:Commit5f7c0bdpushedbyjuliankuners
  develop

  Apr 15, 202617s
  More actions for workflow run 1282

• Upstream anonymous telemetry module (#4909)

  completed successfully:
  Bump version and make master job#1281:Commit874a384pushedbyautomergerpr-permission-manager[bot]Bot
  develop

  Apr 10, 202620s
  More actions for workflow run 1281

• Fixing Cachix Push / Pin (#4906)

  completed successfully:
  Bump version and make master job#1280:Commit2624d37pushedbyFWBlueWizard
  develop

  Apr 9, 202619s
  More actions for workflow run 1280

• pyk: add node_id to custom_step (#4907)

  completed successfully:
  Bump version and make master job#1279:Commit5b3bdc7pushedbyautomergerpr-permission-manager[bot]Bot
  develop

  Apr 9, 202617s
  More actions for workflow run 1279

• Prepend to GHCRTS in KoreServer instead of overwrite (#4903)

  completed successfully:
  Bump version and make master job#1278:Commit7d503d9pushedbyautomergerpr-permission-manager[bot]Bot
  develop

  Feb 3, 202621s
  More actions for workflow run 1278

• Update dependency: deps/haskell-backend_release (#4899)

  completed successfully:
  Bump version and make master job#1277:Commit5c40270pushedbyautomergerpr-permission-manager[bot]Bot
  develop

  Jan 30, 202618s
  More actions for workflow run 1277