Build and Lint

Workflow runs for Build and Lint

• feat(Divergence): Pinsker's inequality

  requires action with the application:
  Build and Lint#230:Pull request#93openedbyKoushaKalantari
  KoushaKalantari:pinsker

  Nov 13, 2026Action required
  More actions for workflow run 230

• feat: differential privacy (5/5): advanced composition

  requires action with the application:
  Build and Lint#229:Pull request#92openedbyKoushaKalantari
  KoushaKalantari:advanced-composition

  Nov 13, 2026Action required
  More actions for workflow run 229

• feat: differential privacy (4/5): zero-concentrated differential privacy

  requires action with the application:
  Build and Lint#228:Pull request#91openedbyKoushaKalantari
  KoushaKalantari:zcdp

  Nov 13, 2026Action required
  More actions for workflow run 228

• feat: differential privacy (3/5): Rényi differential privacy

  requires action with the application:
  Build and Lint#227:Pull request#90openedbyKoushaKalantari
  KoushaKalantari:renyi-dp

  Nov 13, 2026Action required
  More actions for workflow run 227

• feat: differential privacy (2/5): randomized response, Laplace, geometric and exponential mechanisms

  requires action with the application:
  Build and Lint#226:Pull request#89openedbyKoushaKalantari
  KoushaKalantari:dp-mechanisms

  Nov 13, 2026Action required
  More actions for workflow run 226

• feat: differential privacy (1/5): definition, post-processing, group privacy, composition

  requires action with the application:
  Build and Lint#225:Pull request#88openedbyKoushaKalantari
  KoushaKalantari:dp-basic

  Nov 13, 2026Action required
  More actions for workflow run 225

• Bump mathlib dependency to 7bcc5e9

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

  Nov 13, 2026Action required
  More actions for workflow run 224

• feat: privacy leakage measures (6/6): differential privacy under Hamming distortion

  requires action with the application:
  Build and Lint#223:Pull request#86openedbyKoushaKalantari
  KoushaKalantari:dp-hamming

  Nov 13, 2026Action required
  More actions for workflow run 223

• feat: privacy leakage measures (5/6): maximal (α,β)-leakage

  requires action with the application:
  Build and Lint#222:Pull request#85openedbyKoushaKalantari
  KoushaKalantari:alpha-beta-leakage

  Nov 13, 2026Action required
  More actions for workflow run 222

• feat: privacy leakage measures (4/6): gain-function leakage

  requires action with the application:
  Build and Lint#221:Pull request#84openedbyKoushaKalantari
  KoushaKalantari:gain-leakage

  Nov 13, 2026Action required
  More actions for workflow run 221

• feat: privacy leakage measures (3/6): variational formula for the ∞-Rényi divergence

  requires action with the application:
  Build and Lint#220:Pull request#83openedbyKoushaKalantari
  KoushaKalantari:renyi-infinity

  Nov 13, 2026Action required
  More actions for workflow run 220

• feat: privacy leakage measures (2/6): α-leakage and maximal α-leakage

  requires action with the application:
  Build and Lint#219:Pull request#82openedbyKoushaKalantari
  KoushaKalantari:alpha-leakage

  Nov 13, 2026Action required
  More actions for workflow run 219

• feat: privacy leakage measures (1/6): maximal leakage

  requires action with the application:
  Build and Lint#218:Pull request#79synchronizebyKoushaKalantari
  KoushaKalantari:maximal-leakage

  Nov 13, 2026Action required
  More actions for workflow run 218

• feat: kernel measurable space and KL generalizations from LML (#81)

  completed successfully:
  Build and Lint#217:Commitaf34969pushedbyRemyDegenne
  main

  Nov 13, 20265m 33s
  More actions for workflow run 217

• feat: kernel measurable space and KL generalizations from LML

  completed successfully:
  Build and Lint#216:Pull request#81openedbyRemyDegenne
  RemyDegenne:generalize-from-lml

  Nov 13, 20264m 44s
  More actions for workflow run 216

• chore: bump Mathlib to 2ddf59c (#80)

  completed successfully:
  Build and Lint#215:Commitb1c8cb5pushedbyRemyDegenne
  main

  Nov 13, 20266m 46s
  More actions for workflow run 215

• chore: bump Mathlib to 2ddf59c

  completed successfully:
  Build and Lint#214:Pull request#80synchronizebyRemyDegenne
  RemyDegenne:bump-mathlib-2ddf59c

  Nov 13, 20267m 2s
  More actions for workflow run 214

• chore: bump Mathlib to 2ddf59c

  cancelled:
  Build and Lint#213:Pull request#80openedbyRemyDegenne
  RemyDegenne:bump-mathlib-2ddf59c

  Nov 13, 20264m 16s
  More actions for workflow run 213

• feat: privacy leakage measures (1/6): maximal leakage

  requires action with the application:
  Build and Lint#212:Pull request#79openedbyKoushaKalantari
  KoushaKalantari:maximal-leakage

  Nov 12, 2026Action required
  More actions for workflow run 212

• Bump mathlib dependency to 94f4300

  failed:
  Build and Lint#211:Pull request#75synchronizebygithub-actions[bot]Bot
  hopscotch/lkg-bump

  Nov 6, 20266d 13h 34m 20s
  More actions for workflow run 211

• chore: bump mathlib to 0867942, fix breaking changes

  failed:
  Build and Lint#210:Pull request#77openedbygithub-actions[bot]Bot
  bump-mathlib/fix-0867942

  Nov 6, 20266d 13h 35m 53s
  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