All workflows

Workflow runs

• feat(MachineLearning): convex online-to-batch and SGD in expectation

  queued:
  Lean Action CI#14314:Pull request#4942synchronizebySamuelSchlesinger
  feat/online-to-batch-convex

  Nov 13, 2026Queued
  More actions for workflow run 14314

• feat(MachineLearning): convex online-to-batch and SGD in expectation

  queued:
  Guide#5534:Pull request#4942synchronizebySamuelSchlesinger
  feat/online-to-batch-convex

  Nov 13, 2026Queued
  More actions for workflow run 5534

• feat(MachineLearning): convex online-to-batch and SGD in expectation

  queued:
  Operator's Manual PDFs#3367:Pull request#4942synchronizebySamuelSchlesinger
  feat/online-to-batch-convex

  Nov 13, 2026Queued
  More actions for workflow run 3367

• feat(MachineLearning): convex online-to-batch and SGD in expectation

  queued:
  PR title#12980:Pull request#4942synchronizebySamuelSchlesinger
  feat/online-to-batch-convex

  Nov 13, 2026Queued
  More actions for workflow run 12980

• chore(scripts): count IsOraclePPT predicates as efficiency predicates in the chain check

  queued:
  PR title#12979:Pull request#5036openedbySamuelSchlesinger
  tooling/efficiency-oracle-ppt

  Nov 13, 2026Queued
  More actions for workflow run 12979

• chore(scripts): count IsOraclePPT predicates as efficiency predicates in the chain check

  queued:
  Lean Action CI#14313:Pull request#5036openedbySamuelSchlesinger
  tooling/efficiency-oracle-ppt

  Nov 13, 2026Queued
  More actions for workflow run 14313

• Lean Action CI

  queued:
  Lean Action CI#14312:Merge group checks requested
  Nov 13, 2026Queued
  More actions for workflow run 14312

• Lean Action CI

  queued:
  Lean Action CI#14311:Merge group checks requested
  Nov 13, 2026Queued
  More actions for workflow run 14311

• Lean Action CI

  queued:
  Lean Action CI#14310:Merge group checks requested
  Nov 13, 2026Queued
  More actions for workflow run 14310

• Lean Action CI

  queued:
  Lean Action CI#14309:Merge group checks requested
  Nov 13, 2026Queued
  More actions for workflow run 14309

• Lean Action CI

  queued:
  Lean Action CI#14308:Merge group checks requested
  Nov 13, 2026Queued
  More actions for workflow run 14308

• Lean Action CI

  queued:
  Lean Action CI#14307:Merge group checks requested
  Nov 13, 2026Queued
  More actions for workflow run 14307

• Lean Action CI

  queued:
  Lean Action CI#14306:Merge group checks requested
  Nov 13, 2026Queued
  More actions for workflow run 14306

• Lean Action CI

  currently running:
  Lean Action CI#14305:Merge group checks requested
  Nov 13, 2026In progress
  More actions for workflow run 14305

• fix(review): recognize enc_structure names in PR descriptions

  completed successfully:
  PR title#12978:Pull request#5033editedbySamuelSchlesinger
  fix/pr-name-enc-structure-codex-20261113

  Nov 13, 202620s
  More actions for workflow run 12978

• Lean Action CI

  queued:
  Lean Action CI#14304:Merge group checks requested
  Nov 13, 2026Queued
  More actions for workflow run 14304

• Lean Action CI

  queued:
  Lean Action CI#14303:Merge group checks requested
  Nov 13, 2026Queued
  More actions for workflow run 14303

• Lean Action CI

  currently running:
  Lean Action CI#14302:Merge group checks requested
  Nov 13, 2026In progress
  More actions for workflow run 14302

• refactor(Crypto/Homomorphic): name key links and challenge selection in coin-tape replays (readability H5)

  currently running:
  Lean Action CI#14301:Pull request#5035openedbySamuelSchlesinger
  readability/homo-h5-cointape

  Nov 13, 2026In progress
  More actions for workflow run 14301

• refactor(Crypto/Homomorphic): name key links and challenge selection in coin-tape replays (readability H5)

  completed successfully:
  PR title#12977:Pull request#5035openedbySamuelSchlesinger
  readability/homo-h5-cointape

  Nov 13, 202613s
  More actions for workflow run 12977

• refactor(Crypto/Homomorphic): name key links and challenge selection in coin-tape replays (readability H5)

  currently running:
  Guide#5533:Pull request#5035openedbySamuelSchlesinger
  readability/homo-h5-cointape

  Nov 13, 2026In progress
  More actions for workflow run 5533

• Lean Action CI

  currently running:
  Lean Action CI#14300:Merge group checks requested
  Nov 13, 2026In progress
  More actions for workflow run 14300

• Lean Action CI

  currently running:
  Lean Action CI#14299:Merge group checks requested
  Nov 13, 2026In progress
  More actions for workflow run 14299

• Lean Action CI

  currently running:
  Lean Action CI#14298:Merge group checks requested
  Nov 13, 2026In progress
  More actions for workflow run 14298

• feat(MachineLearning): McAllester's PAC-Bayes bound for countable hypothesis spaces

  completed successfully:
  PR title#12976:Pull request#4951editedbyedemaine
  feat/pac-bayes

  Nov 13, 20267s
  More actions for workflow run 12976