All workflows

Workflow runs

• Nightly Gate

  currently running:
  Nightly Gate#117:Scheduled
  main

  Oct 28, 2026In progress
  More actions for workflow run 117

• Reduce repeated work in dev builds, tests, and checks

  currently running:
  CI Manager#15752:Pull request#12659synchronizebyrtfeldman
  dev-rebuild/west-lake-all-prs

  Oct 28, 2026In progress
  More actions for workflow run 15752

• Reduce repeated work in dev builds, tests, and checks

  completed successfully:
  SpellCheck#11794:Pull request#12659synchronizebyrtfeldman
  dev-rebuild/west-lake-all-prs

  Oct 28, 202620s
  More actions for workflow run 11794

• PR #12659

  completed successfully:
  CodeQL#14018:byrtfeldman
  refs/pull/12659/head

  Oct 28, 20261m 37s

• Alignment: one rule for entrypoint arguments, strict eval test allocators, an LLVM alignment corpus, cache-reading and wasm hosted-call gaps closed

  completed successfully:
  SpellCheck#11793:Pull request#12665synchronizebyAnton-4-bot
  showell:alignment-hunt

  Oct 28, 202622s
  More actions for workflow run 11793

• Alignment: one rule for entrypoint arguments, strict eval test allocators, an LLVM alignment corpus, cache-reading and wasm hosted-call gaps closed

  currently running:
  CI Manager#15751:Pull request#12665synchronizebyAnton-4-bot
  showell:alignment-hunt

  Oct 28, 2026In progress
  More actions for workflow run 15751

• WIP Filter a unique list in place in List.keep_if

  completed successfully:
  SpellCheck#11792:Pull request#12645synchronizebyAnton-4-bot
  braedenfoster:keep-if-in-place

  Oct 28, 202618s
  More actions for workflow run 11792

• WIP Filter a unique list in place in List.keep_if

  currently running:
  CI Manager#15750:Pull request#12645synchronizebyAnton-4-bot
  braedenfoster:keep-if-in-place

  Oct 28, 2026In progress
  More actions for workflow run 15750

• Join a record update to its base's type class as an occurrence

  completed successfully:
  CI Manager#15749:Pull request#12683openedbyKarakatiza666
  Karakatiza666:fix-record-update-poisons-base

  Oct 28, 20263h 52m 48s
  More actions for workflow run 15749

• Join a record update to its base's type class as an occurrence

  completed successfully:
  SpellCheck#11791:Pull request#12683openedbyKarakatiza666
  Karakatiza666:fix-record-update-poisons-base

  Oct 28, 202619s
  More actions for workflow run 11791

• Check Markdown links

  completed successfully:
  Check Markdown links#8428:Scheduled
  main

  Oct 28, 20265m 19s
  More actions for workflow run 8428

• Reduce repeated work in dev builds, tests, and checks

  completed successfully:
  SpellCheck#11790:Pull request#12659synchronizebyrtfeldman
  dev-rebuild/west-lake-all-prs

  Oct 28, 202616s
  More actions for workflow run 11790

• Reduce repeated work in dev builds, tests, and checks

  cancelled:
  CI Manager#15748:Pull request#12659synchronizebyrtfeldman
  dev-rebuild/west-lake-all-prs

  Oct 28, 20262h 10m 8s
  More actions for workflow run 15748

• PR #12659

  completed successfully:
  CodeQL#14017:byrtfeldman
  refs/pull/12659/head

  Oct 28, 20261m 5s

• Create the coordination file exclusively, then lock it

  completed successfully:
  diag-macos-cache#2:Commit3f120a8pushedbyrtfeldman
  diag-macos-cache-reserve

  Oct 28, 202615m 14s
  More actions for workflow run 2

• Diagnose macOS cache reserve failures

  completed successfully:
  diag-macos-cache#1:Commit845f846pushedbyrtfeldman
  diag-macos-cache-reserve

  Oct 28, 202625m 44s
  More actions for workflow run 1

• Stack-place non-escaping Boxy closures inside ARC's existing solve/emit, no separate pass

  skipped:
  Notify zulip high priority issues#539:Issue#12678labeledbyrtfeldman
  Oct 28, 20261s
  More actions for workflow run 539

• Treat packs evicted mid-load as cache misses and serialize cache sweeps

  completed successfully:
  CI Manager#15747:Pull request#12663synchronizebyrtfeldman
  issue-12626-evicted-pack-miss

  Oct 28, 20264h 22m 30s
  More actions for workflow run 15747

• Treat packs evicted mid-load as cache misses and serialize cache sweeps

  completed successfully:
  SpellCheck#11789:Pull request#12663synchronizebyrtfeldman
  issue-12626-evicted-pack-miss

  Oct 28, 202618s
  More actions for workflow run 11789

• PR #12663

  completed successfully:
  CodeQL#14016:byrtfeldman
  refs/pull/12663/head

  Oct 28, 202659s

• Reduce repeated work in dev builds, tests, and checks

  cancelled:
  CI Manager#15746:Pull request#12659synchronizebyrtfeldman
  dev-rebuild/west-lake-all-prs

  Oct 28, 20262h 32m 40s
  More actions for workflow run 15746

• Reduce repeated work in dev builds, tests, and checks

  completed successfully:
  SpellCheck#11788:Pull request#12659synchronizebyrtfeldman
  dev-rebuild/west-lake-all-prs

  Oct 28, 202619s
  More actions for workflow run 11788

• PR #12659

  completed successfully:
  CodeQL#14015:byrtfeldman
  refs/pull/12659/head

  Oct 28, 20261m 7s

• Settle every recursive type digest through one complete reduction

  completed successfully:
  CI Manager#15745:Pull request#12658synchronizebyrtfeldman
  issue-12607-recursive-digest-fold

  Oct 28, 20263h 48m 46s
  More actions for workflow run 15745

• Settle every recursive type digest through one complete reduction

  completed successfully:
  SpellCheck#11787:Pull request#12658synchronizebyrtfeldman
  issue-12607-recursive-digest-fold

  Oct 28, 202617s
  More actions for workflow run 11787