Build and Lint

Workflow runs for Build and Lint

• Bump mathlib dependency to 94f4300

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

  Nov 6, 2026Action required
  More actions for workflow run 211

• chore: bump mathlib to 0867942, fix breaking changes

  requires action with the application:
  Build and Lint#210:Pull request#77openedbygithub-actions[bot]Bot
  bump-mathlib/fix-0867942

  Nov 6, 2026Action required
  More actions for workflow run 210

• Bump mathlib dependency to 94f4300

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

  Nov 6, 2026Action required
  More actions for workflow run 209

• Bump mathlib dependency to 6135ffb (#70)

  completed successfully:
  Build and Lint#208:Commiteeaac02pushedbyRemyDegenne
  main

  Nov 5, 20267m 24s
  More actions for workflow run 208

• Bump leanprover/lean-action from 1.6.0 to 1.7.0 (#74)

  completed successfully:
  Build and Lint#207:Commit5fe17a4pushedbyRemyDegenne
  main

  Nov 5, 20265m 34s
  More actions for workflow run 207

• Bump mathlib dependency to 6135ffb

  completed successfully:
  Build and Lint#206:Pull request#70synchronizebygithub-actions[bot]Bot
  hopscotch/lkg-bump

  Nov 5, 20266m 38s
  More actions for workflow run 206

• Bump mathlib dependency to 6135ffb

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

  Nov 5, 2026Action required
  More actions for workflow run 205

• Bump mathlib dependency to 6135ffb

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

  Nov 4, 2026Action required
  More actions for workflow run 204

• Bump mathlib dependency to 6135ffb

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

  Nov 4, 2026Action required
  More actions for workflow run 203

• Bump mathlib dependency to 6135ffb

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

  Nov 3, 2026-1s
  More actions for workflow run 202

• Bump mathlib dependency to 6135ffb

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

  Nov 3, 2026Action required
  More actions for workflow run 201

• Bump mathlib dependency to 6135ffb

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

  Nov 3, 2026Action required
  More actions for workflow run 200

• Bump mathlib dependency to 6135ffb

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

  Nov 2, 2026Action required
  More actions for workflow run 199

• Bump mathlib dependency to 6135ffb

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

  Nov 1, 2026Action required
  More actions for workflow run 198

• Bump leanprover/lean-action from 1.6.0 to 1.7.0

  completed successfully:
  Build and Lint#197:Pull request#74openedbydependabot[bot]Bot
  dependabot/github_actions/leanprover/lean-action-1.7.0

  Nov 1, 20264m 13s
  More actions for workflow run 197

• feat(Invariance): Proof for CLT based on Lindeberg swap principle

  completed successfully:
  Build and Lint#196:Pull request#73openedbySwag-Pseudopy
  Swag-Pseudopy:lindeberg-swap

  Nov 1, 20264m 53s
  More actions for workflow run 196

• Bump mathlib dependency to 6135ffb

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

  Nov 1, 2026Action required
  More actions for workflow run 195

• Bump mathlib dependency to 6135ffb

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

  Oct 31, 2026Action required
  More actions for workflow run 194

• Bump mathlib dependency to 6135ffb

  completed successfully:
  Build and Lint#193:Pull request#70synchronizebygithub-actions[bot]Bot
  hopscotch/lkg-bump

  Oct 31, 20267m 13s
  More actions for workflow run 193

• Bump mathlib dependency to 6135ffb

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

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

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

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

  Oct 30, 20264m 18s
  More actions for workflow run 191

• Bump mathlib dependency to 6135ffb

  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

• Bump mathlib dependency to 6135ffb

  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

• Fix the build (#69)

  completed successfully:
  Build and Lint#188:Commit4a1e6f7pushedbyRemyDegenne
  main

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

• Fix the build

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

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