All workflows

Workflow runs

• Merge conflicts

  completed successfully:
  Merge conflicts#1220:Scheduled
  main

  Nov 12, 202617s
  More actions for workflow run 1220

• Merge sweep

  completed successfully:
  Merge sweep#311:Scheduled
  main

  Nov 12, 20261m 39s
  More actions for workflow run 311

• Auto-merge

  completed successfully:
  Auto-merge#2154:completedbyRemyDegenne
  Nov 12, 20267s
  More actions for workflow run 2154

• Retry CI status publication

  skipped:
  Retry CI status publication#1323:completedbyRemyDegenne
  Nov 12, 20261s
  More actions for workflow run 1323

• PR status

  skipped:
  PR status#8280:completedbyRemyDegenne
  Nov 12, 20261s
  More actions for workflow run 8280

• feat: the Bernoulli maximal inequality, counts versus pseudo-counts [DLB17, Lemma F.4]

  completed successfully:
  PR status#8279:Pull request#292labeledbylmlexplore-automation[bot]Bot
  Nov 12, 202650s
  More actions for workflow run 8279

• feat: the self-bounding inequality [MDJKLV21, Lemma 13] with the corrected constant

  cancelled:
  PR status#8278:Pull request#287labeledbylmlexplore-automation[bot]Bot
  Nov 12, 20267s
  More actions for workflow run 8278

• feat: the Bernoulli maximal inequality, counts versus pseudo-counts [DLB17, Lemma F.4]

  cancelled:
  PR status#8277:Pull request#292unlabeledbylmlexplore-automation[bot]Bot
  Nov 12, 20268s
  More actions for workflow run 8277

• feat: the self-bounding inequality [MDJKLV21, Lemma 13] with the corrected constant

  cancelled:
  PR status#8276:Pull request#287unlabeledbylmlexplore-automation[bot]Bot
  Nov 12, 20268s
  More actions for workflow run 8276

• feat: the breadth-first A-ary tree of the hard instances of episodic MDPs [DMKV21, Theorems 7, 9]

  completed successfully:
  PR status#8275:Pull request#294labeledbylmlexplore-automation[bot]Bot
  Nov 12, 202632s
  More actions for workflow run 8275

• PR status

  cancelled:
  PR status#8274:requestedbyRemyDegenne
  Nov 12, 202630s
  More actions for workflow run 8274

• pr-build 294

  currently running:
  pr-build#1018:Pull request#294openedbyRemyDegenne
  Nov 12, 2026In progress
  More actions for workflow run 1018

• feat: the breadth-first A-ary tree of the hard instances of episodic MDPs [DMKV21, Theorems 7, 9]

  completed successfully:
  PR status#8273:Pull request#294openedbyRemyDegenne
  Nov 12, 202636s
  More actions for workflow run 8273

• Retry CI status publication

  skipped:
  Retry CI status publication#1322:completedbyRemyDegenne
  Nov 12, 20261s
  More actions for workflow run 1322

• Auto-merge

  completed successfully:
  Auto-merge#2153:completedbyRemyDegenne
  Nov 12, 20267s
  More actions for workflow run 2153

• PR status

  skipped:
  PR status#8272:completedbyRemyDegenne
  Nov 12, 20261s
  More actions for workflow run 8272

• Merge conflicts

  completed successfully:
  Merge conflicts#1219:Scheduled
  main

  Nov 12, 202624s
  More actions for workflow run 1219

• Retry CI status publication

  skipped:
  Retry CI status publication#1321:completedbyRemyDegenne
  Nov 12, 20261s
  More actions for workflow run 1321

• Auto-merge

  completed successfully:
  Auto-merge#2152:completedbyRemyDegenne
  Nov 12, 20267s
  More actions for workflow run 2152

• PR status

  skipped:
  PR status#8271:completedbyRemyDegenne
  Nov 12, 202611s
  More actions for workflow run 8271

• Auto-merge

  completed successfully:
  Auto-merge#2151:completedbyRemyDegenne
  Nov 12, 20268s
  More actions for workflow run 2151

• Retry CI status publication

  skipped:
  Retry CI status publication#1320:completedbyRemyDegenne
  Nov 12, 20261s
  More actions for workflow run 1320

• PR status

  skipped:
  PR status#8270:completedbyRemyDegenne
  Nov 12, 20262s
  More actions for workflow run 8270

• feat: transport of means and variances under a KL constraint [MDJKLV21, Lemmas 10–12]

  cancelled:
  PR status#8269:Pull request#291labeledbylmlexplore-automation[bot]Bot
  Nov 12, 20268s
  More actions for workflow run 8269

• feat: the method of types and Sanov's bound on a finite type

  completed successfully:
  PR status#8268:Pull request#290labeledbylmlexplore-automation[bot]Bot
  Nov 12, 20261m 4s
  More actions for workflow run 8268