typecheck

Workflow runs for typecheck

• Name the Windows setup for Redrob Launcher (#118)

  completed successfully:
  typecheck#248:Commit107694epushedbyits-janghoon
  develop

  Oct 16, 20261m 47s
  More actions for workflow run 248

• release: version the Windows setup asset name for the launcher

  completed successfully:
  typecheck#247:Pull request#118openedbyits-janghoon
  chore/setup-asset-name

  Oct 16, 20261m 35s
  More actions for workflow run 247

• webfetch: cap the page and let the model say what it is looking for (…

  completed successfully:
  typecheck#246:Commitae689adpushedbyits-janghoon
  develop

  Oct 16, 20261m 39s
  More actions for workflow run 246

• webfetch: cap the page and let the model say what it is looking for

  completed successfully:
  typecheck#245:Pull request#117synchronizebyits-janghoon
  perf/webfetch-focus

  Oct 15, 20261m 27s
  More actions for workflow run 245

• webfetch: cap the page and let the model say what it is looking for

  completed successfully:
  typecheck#244:Pull request#117openedbyits-janghoon
  perf/webfetch-focus

  Oct 15, 20261m 22s
  More actions for workflow run 244

• Sync main back into develop (#116)

  completed successfully:
  typecheck#243:Commit464d888pushedbyits-janghoon
  develop

  Oct 15, 20261m 40s
  More actions for workflow run 243

• Sync main back into develop (8e7f671c9)

  failed:
  typecheck#242:Pull request#116openedbygithub-actions[bot]Bot
  sync/back-merge-8e7f671c9

  Oct 15, 202617m 28s
  More actions for workflow run 242

• Promote develop to main (v0.6.7) (#115)

  completed successfully:
  typecheck#241:Commit8e7f671pushedbyits-janghoon
  main

  Oct 15, 20261m 30s
  More actions for workflow run 241

• Promote develop to main (v0.6.7)

  completed successfully:
  typecheck#240:Pull request#115openedbyits-janghoon
  develop

  Oct 15, 20261m 39s
  More actions for workflow run 240

• Ship Windows MSIs and macOS disk images for the launcher (#114)

  completed successfully:
  typecheck#239:Commitf7195fapushedbyits-janghoon
  develop

  Oct 15, 20261m 44s
  More actions for workflow run 239

• Ship Windows MSIs and macOS disk images for the launcher

  completed successfully:
  typecheck#238:Pull request#114synchronizebyits-janghoon
  feat/engine-installers

  Oct 15, 20261m 26s
  More actions for workflow run 238

• Ship Windows MSIs and macOS disk images for the launcher

  completed successfully:
  typecheck#237:Pull request#114synchronizebyits-janghoon
  feat/engine-installers

  Oct 15, 20261m 13s
  More actions for workflow run 237

• Ship Windows MSIs and macOS disk images for the launcher

  completed successfully:
  typecheck#236:Pull request#114openedbyits-janghoon
  feat/engine-installers

  Oct 15, 20261m 12s
  More actions for workflow run 236

• Merge pull request #113 from redrob-labs/sync/back-merge-36fd542ad

  completed successfully:
  typecheck#235:Commitca6f499pushedbyits-janghoon
  develop

  Oct 15, 20261m 50s
  More actions for workflow run 235

• Sync main back into develop (36fd542ad)

  failed:
  typecheck#234:Pull request#113openedbygithub-actions[bot]Bot
  sync/back-merge-36fd542ad

  Oct 15, 202618m 39s
  More actions for workflow run 234

• Merge pull request #112 from redrob-labs/develop

  completed successfully:
  typecheck#233:Commit36fd542pushedbyits-janghoon
  main

  Oct 15, 20261m 8s
  More actions for workflow run 233

• Promote develop to main (v0.6.6)

  completed successfully:
  typecheck#232:Pull request#112openedbyits-janghoon
  develop

  Oct 15, 20261m 42s
  More actions for workflow run 232

• fix: drop every code.redrob.ai reference, publish config/tui/theme sc…

  completed successfully:
  typecheck#231:Commitefe2844pushedbyits-janghoon
  develop

  Oct 15, 20261m 45s
  More actions for workflow run 231

• Drop the dead code.redrob.ai host; generate and gate the JSON Schemas

  completed successfully:
  typecheck#230:Pull request#111openedbyits-janghoon
  fix/drop-dead-host

  Oct 15, 20261m 15s
  More actions for workflow run 230

• fix: replace the dead code.redrob.ai install URL and homepage links (…

  completed successfully:
  typecheck#229:Commitfa9e1e2pushedbyits-janghoon
  develop

  Oct 15, 20261m 38s
  More actions for workflow run 229

• fix: replace the dead code.redrob.ai install URL and homepage links

  completed successfully:
  typecheck#228:Pull request#110openedbyits-janghoon
  fix/install-url

  Oct 15, 20261m 40s
  More actions for workflow run 228

• Back-merge main into develop (v0.6.5 promotion) (#109)

  completed successfully:
  typecheck#227:Commit81379b7pushedbyits-janghoon
  develop

  Oct 15, 20261m 45s
  More actions for workflow run 227

• Back-merge main into develop (v0.6.5 promotion)

  completed successfully:
  typecheck#226:Pull request#109openedbyits-janghoon
  sync/back-merge-bc925702

  Oct 15, 20261m 22s
  More actions for workflow run 226

• Promote develop to main (v0.6.5) (#108)

  completed successfully:
  typecheck#225:Commitbc92570pushedbyits-janghoon
  main

  Oct 15, 20261m 35s
  More actions for workflow run 225

• Promote develop to main (v0.6.5)

  completed successfully:
  typecheck#224:Pull request#108openedbyits-janghoon
  develop

  Oct 15, 20261m 39s
  More actions for workflow run 224