All workflows

Workflow runs

• Merge conflicts

  completed successfully:
  Merge conflicts#1419:Scheduled
  main

  Nov 14, 202630s
  More actions for workflow run 1419

• Merge conflicts

  completed successfully:
  Merge conflicts#1418:Scheduled
  main

  Nov 14, 202615s
  More actions for workflow run 1418

• Merge sweep

  completed successfully:
  Merge sweep#361:Scheduled
  main

  Nov 14, 202632s
  More actions for workflow run 361

• Merge conflicts

  completed successfully:
  Merge conflicts#1417:Scheduled
  main

  Nov 14, 202616s
  More actions for workflow run 1417

• Retry CI status publication

  completed successfully:
  Retry CI status publication#1662:Scheduled
  main

  Nov 14, 20267s
  More actions for workflow run 1662

• Merge conflicts

  completed successfully:
  Merge conflicts#1416:Scheduled
  main

  Nov 14, 202619s
  More actions for workflow run 1416

• feat: large deviations of the empirical means of a run under static allocations, and the error exponent of static proportions

  completed successfully:
  PR status#10715:Pull request#383labeledbylmlexplore-automation[bot]Bot
  Nov 14, 202643s
  More actions for workflow run 10715

• feat: large deviations of the empirical means of a run under static allocations, and the error exponent of static proportions

  completed successfully:
  PR status#10714:Pull request#383unlabeledbylmlexplore-automation[bot]Bot
  Nov 14, 202625s
  More actions for workflow run 10714

• PR status

  completed successfully:
  PR status#10713:Scheduled
  main

  Nov 14, 202627s
  More actions for workflow run 10713

• Merge conflicts

  completed successfully:
  Merge conflicts#1415:Scheduled
  main

  Nov 14, 202614s
  More actions for workflow run 1415

• Merge conflicts

  completed successfully:
  Merge conflicts#1414:Scheduled
  main

  Nov 14, 202617s
  More actions for workflow run 1414

• Auto-merge

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

• Retry CI status publication

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

• PR status

  skipped:
  PR status#10712:completedbyRemyDegenne
  Nov 14, 2026Skipped
  More actions for workflow run 10712

• Merge sweep

  completed successfully:
  Merge sweep#360:Scheduled
  main

  Nov 14, 202624s
  More actions for workflow run 360

• feat: large deviations of the empirical means of a run under static allocations, and the error exponent of static proportions

  completed successfully:
  PR status#10711:Pull request#383labeledbylmlexplore-automation[bot]Bot
  Nov 14, 202648s
  More actions for workflow run 10711

• Merge conflicts

  completed successfully:
  Merge conflicts#1413:Scheduled
  main

  Nov 14, 202614s
  More actions for workflow run 1413

• PR status

  completed successfully:
  PR status#10710:requestedbyRemyDegenne
  Nov 14, 202655s
  More actions for workflow run 10710

• pr-build 383

  completed successfully:
  pr-build#1306:Pull request#383openedbyRemyDegenne
  Nov 14, 202614m 30s
  More actions for workflow run 1306

• feat: large deviations of the empirical means of a run under static allocations, and the error exponent of static proportions

  completed successfully:
  PR status#10709:Pull request#383openedbyRemyDegenne
  Nov 14, 202630s
  More actions for workflow run 10709

• Queue Housekeeping

  completed successfully:
  Queue Housekeeping#179:Scheduled
  main

  Nov 14, 202620s
  More actions for workflow run 179

• Retry CI status publication

  completed successfully:
  Retry CI status publication#1660:Scheduled
  main

  Nov 14, 202615s
  More actions for workflow run 1660

• Merge conflicts

  completed successfully:
  Merge conflicts#1412:Scheduled
  main

  Nov 14, 202629s
  More actions for workflow run 1412

• PR status

  completed successfully:
  PR status#10708:Scheduled
  main

  Nov 14, 202630s
  More actions for workflow run 10708

• feat: state-action absorbing MDPs and the net of their optimal policies [LWCGC24, Lemmas 3–4]

  completed successfully:
  PR status#10707:Pull request#382unlabeledbylmlexplore-automation[bot]Bot
  Nov 14, 202629s
  More actions for workflow run 10707