All workflows

Workflow runs

• refactor: remove the embedded MCP self-check

  failed:
  CI#1261:Pull request#324openedbyejgallego
  codex/mcp-self-check-removal-final-20261020

  Oct 20, 20261h 26m 17s
  More actions for workflow run 1261

• refactor: remove the embedded MCP self-check

  completed successfully:
  Lean Nightly#47:Pull request#324openedbyejgallego
  codex/mcp-self-check-removal-final-20261020

  Oct 20, 20264m 12s
  More actions for workflow run 47

• test: stage MCP discovery outside the build cache

  completed successfully:
  CI#1260:Pull request#323openedbyejgallego
  codex/bt068-darwin-cache-executables-20261020

  Oct 20, 20261h 2m 49s
  More actions for workflow run 1260

• test: stage MCP discovery outside the build cache

  completed successfully:
  Lean Nightly#46:Pull request#323openedbyejgallego
  codex/bt068-darwin-cache-executables-20261020

  Oct 20, 20264m 30s
  More actions for workflow run 46

• fix: reject broken local toolchain links

  completed successfully:
  CI#1259:Commit8992e9bpushedbyejgallego
  main

  Oct 20, 20261h 14m 28s
  More actions for workflow run 1259

• fix: align speculative elaboration with its input text

  cancelled:
  CI#1258:Commitb886455pushedbyejgallego
  main

  Oct 20, 20265m 39s
  More actions for workflow run 1258

• fix: shut down foreground owners on termination signals

  completed successfully:
  CI#1257:Pull request#317synchronizebyejgallego
  codex/bt048-owner-signals

  Oct 20, 20265m 50s
  More actions for workflow run 1257

• fix: shut down foreground owners on termination signals

  completed successfully:
  Lean Nightly#45:Pull request#317synchronizebyejgallego
  codex/bt048-owner-signals

  Oct 20, 20264m 52s
  More actions for workflow run 45

• Reserve documents throughout close-save

  completed successfully:
  Lean Nightly#44:Pull request#322openedbyejgallego
  codex/exclusive-close-save-20261020

  Oct 20, 20264m 46s
  More actions for workflow run 44

• Reserve documents throughout close-save

  failed:
  CI#1256:Pull request#322openedbyejgallego
  codex/exclusive-close-save-20261020

  Oct 20, 20261h 8m 24s
  More actions for workflow run 1256

• fix: reject broken local toolchain links

  failed:
  CI#1255:Pull request#320openedbyejgallego
  codex/bt011-selected-alias-failures-20261020

  Oct 20, 202655m 6s
  More actions for workflow run 1255

• fix: reject broken local toolchain links

  completed successfully:
  Lean Nightly#43:Pull request#320openedbyejgallego
  codex/bt011-selected-alias-failures-20261020

  Oct 20, 20264m 45s
  More actions for workflow run 43

• fix: preserve MCP workspace eviction after cleanup failure

  failed:
  CI#1254:Commite25114dpushedbyejgallego
  main

  Oct 20, 202655m 17s
  More actions for workflow run 1254

• Lean Nightly

  completed successfully:
  Lean Nightly#42:Scheduled
  main

  Oct 20, 20264m 6s
  More actions for workflow run 42

• test: run installer policy checks without builds (#293)

  completed successfully:
  CI#1253:Commit1797932pushedbyejgallego
  main

  Oct 20, 20261h 0m 15s
  More actions for workflow run 1253

• fix: retain Lake helper failure output

  completed successfully:
  Lean Nightly#41:Pull request#318openedbyejgallego
  codex/bt-lake-helper-reporting

  Oct 20, 20264m 41s
  More actions for workflow run 41

• fix: retain Lake helper failure output

  completed successfully:
  CI#1252:Pull request#318openedbyejgallego
  codex/bt-lake-helper-reporting

  Oct 20, 20261h 18m 9s
  More actions for workflow run 1252

• fix: shut down foreground owners on termination signals

  completed successfully:
  CI#1251:Pull request#317openedbyejgallego
  codex/bt048-owner-signals

  Oct 20, 20261h 6m 12s
  More actions for workflow run 1251

• fix: shut down foreground owners on termination signals

  completed successfully:
  Lean Nightly#40:Pull request#317openedbyejgallego
  codex/bt048-owner-signals

  Oct 20, 20264m 58s
  More actions for workflow run 40

• fix: allow cold workspace loading to complete

  failed:
  CI#1250:Commitc1cfabepushedbyejgallego
  main

  Oct 20, 20261h 3m 28s
  More actions for workflow run 1250

• test: run installer policy checks without builds

  completed successfully:
  CI#1249:Pull request#293synchronizebyejgallego
  codex/installer-policy-fast-tests

  Oct 20, 20261h 18m 27s
  More actions for workflow run 1249

• test: run installer policy checks without builds

  completed successfully:
  Lean Nightly#39:Pull request#293synchronizebyejgallego
  codex/installer-policy-fast-tests

  Oct 20, 20264m 51s
  More actions for workflow run 39

• fix: reject requests after backend reader failure

  cancelled:
  CI#1248:Commit7951edcpushedbyejgallego
  main

  Oct 20, 202648m 10s
  More actions for workflow run 1248

• fix: align speculative elaboration with its input text

  completed successfully:
  CI#1247:Pull request#316openedbyejgallego
  codex/bt050-suggestion-positions

  Oct 20, 20261h 13m 39s
  More actions for workflow run 1247

• fix: align speculative elaboration with its input text

  completed successfully:
  Lean Nightly#38:Pull request#316openedbyejgallego
  codex/bt050-suggestion-positions

  Oct 20, 20264m 41s
  More actions for workflow run 38