All workflows

Workflow runs

• feat(PValues): add IsPValue for composite null hypotheses

  currently running:
  Build and Lint#191:Pull request#71openedbyrajarshi-mukherjee24
  rajarshi-mukherjee24:pvalue-composite-null

  Oct 30, 2026In progress
  More actions for workflow run 191

• Update Dependencies

  completed successfully:
  Update Dependencies#453:Scheduled
  main

  Oct 30, 202614s
  More actions for workflow run 453

• Bump mathlib dependency to 70078b3

  requires action with the application:
  Build and Lint#190:Pull request#70synchronizebygithub-actions[bot]Bot
  hopscotch/lkg-bump

  Oct 30, 2026Action required
  More actions for workflow run 190

• Update Dependencies

  completed successfully:
  Update Dependencies#452:Scheduled
  main

  Oct 30, 20264m 27s
  More actions for workflow run 452

• Bump mathlib dependency to 70078b3

  requires action with the application:
  Build and Lint#189:Pull request#70openedbygithub-actions[bot]Bot
  hopscotch/lkg-bump

  Oct 29, 2026Action required
  More actions for workflow run 189

• Update Dependencies

  completed successfully:
  Update Dependencies#451:Scheduled
  main

  Oct 29, 20264m 9s
  More actions for workflow run 451

• Fix the build (#69)

  completed successfully:
  Build and Lint#188:Commit4a1e6f7pushedbyRemyDegenne
  main

  Oct 29, 20265m 50s
  More actions for workflow run 188

• pages build and deployment

  completed successfully:
  pages-build-deployment#55:byRemyDegenne
  main

  Oct 29, 202640s

• Fix the build

  completed successfully:
  Build and Lint#187:Pull request#69openedbyRemyDegenne
  RemyDegenne:fix

  Oct 29, 20266m 41s
  More actions for workflow run 187

• Add the remainder of the testing-lower-bounds project (#68)

  failed:
  Build and Lint#186:Commitfe27689pushedbyRemyDegenne
  main

  Oct 29, 20265m 9s
  More actions for workflow run 186

• pages build and deployment

  completed successfully:
  pages-build-deployment#54:byRemyDegenne
  main

  Oct 29, 202643s

• Bump mathlib dependency to d020779 (#67)

  completed successfully:
  Build and Lint#185:Commit13535eapushedbyRemyDegenne
  main

  Oct 29, 20266m 10s
  More actions for workflow run 185

• pages build and deployment

  completed successfully:
  pages-build-deployment#53:byRemyDegenne
  main

  Oct 29, 202637s

• Add the remainder of the testing-lower-bounds project

  completed successfully:
  Build and Lint#184:Pull request#68openedbyRemyDegenne
  RemyDegenne:RD_numeraire

  Oct 29, 20266m 26s
  More actions for workflow run 184

• Bump mathlib dependency to d020779

  completed successfully:
  Build and Lint#183:Pull request#67openedbygithub-actions[bot]Bot
  hopscotch/lkg-bump

  Oct 29, 20265m 5s
  More actions for workflow run 183

• Update Dependencies

  completed successfully:
  Update Dependencies#450:Scheduled
  main

  Oct 29, 20263m 35s
  More actions for workflow run 450

• Update Dependencies

  failed:
  Update Dependencies#449:Scheduled
  main

  Oct 29, 202615s
  More actions for workflow run 449

• Update Dependencies

  failed:
  Update Dependencies#448:Scheduled
  main

  Oct 28, 202616s
  More actions for workflow run 448

• Bump mathlib dependency to ba2e6f0 (#65)

  completed successfully:
  Create Release#14:Commit2207208pushedbyzixiaowang17
  main

  Oct 28, 202610s
  More actions for workflow run 14

• Bump mathlib dependency to ba2e6f0 (#65)

  completed successfully:
  Build and Lint#182:Commit2207208pushedbyzixiaowang17
  main

  Oct 28, 20266m 34s
  More actions for workflow run 182

• pages build and deployment

  completed successfully:
  pages-build-deployment#52:byzixiaowang17
  main

  Oct 28, 202641s

• Port the testing-lower-bounds repository (#66)

  completed successfully:
  Build and Lint#181:Commitb9a6e8cpushedbyRemyDegenne
  main

  Oct 28, 20266m 16s
  More actions for workflow run 181

• pages build and deployment

  completed successfully:
  pages-build-deployment#51:byRemyDegenne
  main

  Oct 28, 202648s

• Port the testing-lower-bounds repository

  completed successfully:
  Build and Lint#180:Pull request#66openedbyRemyDegenne
  RemyDegenne:RD_numeraire

  Oct 28, 20268m 37s
  More actions for workflow run 180

• Bump mathlib dependency to ba2e6f0

  completed successfully:
  Build and Lint#179:Pull request#65openedbygithub-actions[bot]Bot
  hopscotch/lkg-bump

  Oct 28, 20269m 7s
  More actions for workflow run 179