All workflows

Workflow runs

• fix: tolerate Lean document identifier field rename

  completed successfully:
  CI#1619:Pull request#422synchronizebyejgallego
  fix/lsp-version-field-compat

  Nov 13, 20261h 19m 54s
  More actions for workflow run 1619

• fix: tolerate Lean document identifier field rename

  completed successfully:
  Lean Nightly#342:Pull request#422synchronizebyejgallego
  fix/lsp-version-field-compat

  Nov 13, 202612m 12s
  More actions for workflow run 342

• fix: tolerate Lean document identifier field rename

  completed successfully:
  Lean Nightly#341:Pull request#422openedbyejgallego
  fix/lsp-version-field-compat

  Nov 13, 20264m 58s
  More actions for workflow run 341

• fix: tolerate Lean document identifier field rename

  cancelled:
  CI#1618:Pull request#422openedbyejgallego
  fix/lsp-version-field-compat

  Nov 13, 20261h 2m 27s
  More actions for workflow run 1618

• Lean Nightly

  completed successfully:
  Lean Nightly#340:Scheduled
  main

  Nov 13, 20263m 30s
  More actions for workflow run 340

• Lean Nightly

  completed successfully:
  Lean Nightly#339:Scheduled
  main

  Nov 12, 20264m 33s
  More actions for workflow run 339

• Lean Nightly

  failed:
  Lean Nightly#338:Scheduled
  main

  Nov 11, 202624s
  More actions for workflow run 338

• Lean Nightly

  completed successfully:
  Lean Nightly#337:Scheduled
  main

  Nov 10, 20265m 31s
  More actions for workflow run 337

• Lean Nightly

  completed successfully:
  Lean Nightly#336:Scheduled
  main

  Nov 9, 20263m 32s
  More actions for workflow run 336

• Lean Nightly

  completed successfully:
  Lean Nightly#335:Scheduled
  main

  Nov 8, 20264m 8s
  More actions for workflow run 335

• fix: retain significant spans across profiling traces

  completed successfully:
  Lean Nightly#334:Pull request#420synchronizebyejgallego
  codex/profiling-retention-20261107

  Nov 7, 20263m 19s
  More actions for workflow run 334

• fix: retain significant spans across profiling traces

  completed successfully:
  CI#1617:Pull request#420synchronizebyejgallego
  codex/profiling-retention-20261107

  Nov 7, 202629m 23s
  More actions for workflow run 1617

• test: allow Windows PID reads during atomic rename

  completed successfully:
  Lean Nightly#333:Pull request#421openedbyejgallego
  codex/windows-pid-diagnostic-proposal-20261107

  Nov 7, 20264m 22s
  More actions for workflow run 333

• test: allow Windows PID reads during atomic rename

  completed successfully:
  CI#1616:Pull request#421openedbyejgallego
  codex/windows-pid-diagnostic-proposal-20261107

  Nov 7, 20261h 6m 59s
  More actions for workflow run 1616

• fix: retain significant spans across profiling traces

  failed:
  CI#1615:Pull request#420synchronizebyejgallego
  codex/profiling-retention-20261107

  Nov 7, 202620m 57s
  More actions for workflow run 1615

• fix: retain significant spans across profiling traces

  completed successfully:
  Lean Nightly#332:Pull request#420synchronizebyejgallego
  codex/profiling-retention-20261107

  Nov 7, 20264m 28s
  More actions for workflow run 332

• fix: retain significant spans across profiling traces

  failed:
  CI#1614:Pull request#420synchronizebyejgallego
  codex/profiling-retention-20261107

  Nov 7, 202627m 40s
  More actions for workflow run 1614

• fix: retain significant spans across profiling traces

  completed successfully:
  Lean Nightly#331:Pull request#420synchronizebyejgallego
  codex/profiling-retention-20261107

  Nov 7, 20264m 20s
  More actions for workflow run 331

• fix: retain significant spans across profiling traces

  cancelled:
  Lean Nightly#330:Pull request#420openedbyejgallego
  codex/profiling-retention-20261107

  Nov 7, 202637s
  More actions for workflow run 330

• fix: retain significant spans across profiling traces

  cancelled:
  CI#1613:Pull request#420openedbyejgallego
  codex/profiling-retention-20261107

  Nov 7, 202640s
  More actions for workflow run 1613

• Lean Nightly

  completed successfully:
  Lean Nightly#329:Scheduled
  main

  Nov 7, 20264m 11s
  More actions for workflow run 329

• fix: omit repeated inner labels from profile summaries

  completed successfully:
  CI#1612:Pull request#419synchronizebyejgallego
  codex/profiling-label-dedup-20261106

  Nov 6, 202619m 30s
  More actions for workflow run 1612

• fix: omit repeated inner labels from profile summaries

  completed successfully:
  Lean Nightly#328:Pull request#419synchronizebyejgallego
  codex/profiling-label-dedup-20261106

  Nov 6, 20263m 40s
  More actions for workflow run 328

• Lean Nightly

  completed successfully:
  Lean Nightly#327:Scheduled
  main

  Nov 6, 20264m 18s
  More actions for workflow run 327

• fix: omit repeated inner labels from profile summaries

  completed successfully:
  Lean Nightly#326:Pull request#419synchronizebyejgallego
  codex/profiling-label-dedup-20261106

  Nov 6, 20265m 21s
  More actions for workflow run 326