All workflows

Workflow runs

• Lean Action CI

  currently running:
  Lean Action CI#4200:Merge group checks requested
  Oct 29, 2026In progress
  More actions for workflow run 4200

• feat(Machines): zip transducer kernel for linear-time two-operand functions (#608)

  completed successfully:
  PR title#4060:Pull request#1649editedbySamuelSchlesinger
  chris-ai1:feat/zip-transducer-kernel-608

  Oct 29, 20267s
  More actions for workflow run 4060

• refactor(List): reuse core maximum bounds in sparse counters (#1650)

  completed successfully:
  Formal abstract PDFs#756:Commit329e8c4pushedbygithub-merge-queue[bot]Bot
  main

  Oct 29, 20263m 20s
  More actions for workflow run 756

• refactor(List): reuse core maximum bounds in sparse counters (#1650)

  currently running:
  Lean Action CI#4199:Commit329e8c4pushedbygithub-merge-queue[bot]Bot
  main

  Oct 29, 2026In progress
  More actions for workflow run 4199

• Lean Action CI

  currently running:
  Lean Action CI#4198:Merge group checks requested
  Oct 29, 2026In progress
  More actions for workflow run 4198

• refactor(Computability,Crypto,Logics): deduplicate shared helper lemm…

  completed successfully:
  Formal abstract PDFs#755:Commit51c60ccpushedbygithub-merge-queue[bot]Bot
  main

  Oct 29, 20263m 24s
  More actions for workflow run 755

• refactor(Computability,Crypto,Logics): deduplicate shared helper lemm…

  completed successfully:
  Lean Action CI#4197:Commit51c60ccpushedbygithub-merge-queue[bot]Bot
  main

  Oct 29, 202617m 45s
  More actions for workflow run 4197

• refactor(Machines): binary successor as one linear-time streaming transducer (#608)

  completed successfully:
  PR title#4059:Pull request#1645editedbySamuelSchlesinger
  chris-ai1:refactor/natsucc-transducer

  Oct 29, 20268s
  More actions for workflow run 4059

• Lean Action CI

  completed successfully:
  Lean Action CI#4196:Merge group checks requested
  Oct 29, 202610m 21s
  More actions for workflow run 4196

• refactor(List): reuse core maximum bounds in sparse counters

  completed successfully:
  PR title#4058:Pull request#1650editedbySamuelSchlesinger
  work/list-foldl-max-1647-codex

  Oct 29, 20267s
  More actions for workflow run 4058

• Lean Action CI

  completed successfully:
  Lean Action CI#4195:Merge group checks requested
  Oct 29, 202610m 46s
  More actions for workflow run 4195

• feat(Machines): zip transducer kernel for linear-time two-operand functions (#608)

  completed successfully:
  PR title#4057:Pull request#1649editedbychris-ai1
  chris-ai1:feat/zip-transducer-kernel-608

  Oct 29, 20268s
  More actions for workflow run 4057

• feat(Machines): zip transducer kernel for linear-time two-operand functions (#608)

  completed successfully:
  PR title#4056:Pull request#1649synchronizebychris-ai1
  chris-ai1:feat/zip-transducer-kernel-608

  Oct 29, 20267s
  More actions for workflow run 4056

• feat(Machines): zip transducer kernel for linear-time two-operand functions (#608)

  completed successfully:
  Lean Action CI#4194:Pull request#1649synchronizebychris-ai1
  chris-ai1:feat/zip-transducer-kernel-608

  Oct 29, 202631m 50s
  More actions for workflow run 4194

• refactor(List): reuse core maximum bounds in sparse counters

  completed successfully:
  PR title#4055:Pull request#1650editedbySamuelSchlesinger
  work/list-foldl-max-1647-codex

  Oct 29, 20267s
  More actions for workflow run 4055

• refactor(List): reuse core maximum bounds in sparse counters

  completed successfully:
  PR title#4054:Pull request#1650openedbySamuelSchlesinger
  work/list-foldl-max-1647-codex

  Oct 29, 20266s
  More actions for workflow run 4054

• refactor(List): reuse core maximum bounds in sparse counters

  completed successfully:
  Lean Action CI#4193:Pull request#1650openedbySamuelSchlesinger
  work/list-foldl-max-1647-codex

  Oct 29, 20266m 8s
  More actions for workflow run 4193

• feat(Machines): zip transducer kernel for linear-time two-operand functions (#608)

  completed successfully:
  PR title#4053:Pull request#1649openedbychris-ai1
  chris-ai1:feat/zip-transducer-kernel-608

  Oct 29, 20267s
  More actions for workflow run 4053

• feat(Machines): zip transducer kernel for linear-time two-operand functions (#608)

  cancelled:
  Lean Action CI#4192:Pull request#1649openedbychris-ai1
  chris-ai1:feat/zip-transducer-kernel-608

  Oct 29, 202612m 51s
  More actions for workflow run 4192

• refactor(Machines): binary successor as one linear-time streaming transducer (#608)

  completed successfully:
  PR title#4052:Pull request#1645editedbySamuelSchlesinger
  chris-ai1:refactor/natsucc-transducer

  Oct 29, 20267s
  More actions for workflow run 4052

• feat(Probability,WordRAM): trinomial binary fields, k-wise hashing, a…

  completed successfully:
  Formal abstract PDFs#754:Commitd6ccb24pushedbygithub-merge-queue[bot]Bot
  main

  Oct 29, 20263m 23s
  More actions for workflow run 754

• feat(Probability,WordRAM): trinomial binary fields, k-wise hashing, a…

  completed successfully:
  Lean Action CI#4191:Commitd6ccb24pushedbygithub-merge-queue[bot]Bot
  main

  Oct 29, 202649m 31s
  More actions for workflow run 4191

• refactor(Machines): binary successor as one linear-time streaming transducer (#608)

  completed successfully:
  Lean Action CI#4190:Pull request#1645synchronizebySamuelSchlesinger
  chris-ai1:refactor/natsucc-transducer

  Oct 29, 202643m 27s
  More actions for workflow run 4190

• refactor(Machines): binary successor as one linear-time streaming transducer (#608)

  completed successfully:
  PR title#4051:Pull request#1645synchronizebySamuelSchlesinger
  chris-ai1:refactor/natsucc-transducer

  Oct 29, 20266s
  More actions for workflow run 4051

• refactor(Computability/PolyTime): deduplicate certificate and fold he…

  cancelled:
  Lean Action CI#4189:Commit66f9753pushedbygithub-merge-queue[bot]Bot
  main

  Oct 29, 20266m 52s
  More actions for workflow run 4189