Build project

Workflow runs for Build project

• Build project

  currently running:
  Build project#112:Manually runbyDavidLedvinka
  codex/measurable-monad-lift

  Nov 13, 2026In progress
  More actions for workflow run 112

• Export measurable monad operations and laws

  completed successfully:
  Build project#111:Pull request#25synchronizebyDavidLedvinka
  codex/export-measurable-monad-operations

  Nov 13, 20265m 4s
  More actions for workflow run 111

• Export measurable monad operations and laws

  completed successfully:
  Build project#110:Pull request#25openedbyDavidLedvinka
  codex/export-measurable-monad-operations

  Nov 13, 20264m 30s
  More actions for workflow run 110

• Use x consistently for collections in the ForIn file

  completed successfully:
  Build project#109:Pull request#24openedbyDavidLedvinka
  codex/forin-xs-names

  Nov 13, 20263m 51s
  More actions for workflow run 109

• Split rdo notation into Core and ForIn

  completed successfully:
  Build project#108:Pull request#23synchronizebyDavidLedvinka
  codex/split-rdo-notation

  Nov 13, 20265m 30s
  More actions for workflow run 108

• Split rdo notation into Core and ForIn

  completed successfully:
  Build project#107:Pull request#23openedbyDavidLedvinka
  codex/split-rdo-notation

  Nov 13, 20265m 46s
  More actions for workflow run 107

• for-in instances refactor

  completed successfully:
  Build project#106:Pull request#22openedbyDavidLedvinka
  codex/forin-refactor

  Nov 4, 20265m 11s
  More actions for workflow run 106

• Merge pull request #21 from LeanMachineLearning/codex/split-measurabl…

  completed successfully:
  Build project#105:Commitd36ca45pushedbyRemyDegenne
  main

  Oct 29, 20265m 15s
  More actions for workflow run 105

• Split MeasurableSpaceMonad into Defs and ForIn

  completed successfully:
  Build project#104:Pull request#21openedbyDavidLedvinka
  codex/split-measurable-space-monad

  Oct 27, 20265m 1s
  More actions for workflow run 104

• Merge pull request #20 from LeanMachineLearning/codex/improve-measura…

  completed successfully:
  Build project#103:Commit0fa0e95pushedbyRemyDegenne
  main

  Oct 27, 20265m 39s
  More actions for workflow run 103

• Start the MeasurableSpaceMonad rebuild

  completed successfully:
  Build project#102:Pull request#18synchronizebyDavidLedvinka
  codex/rebuild-scaffold

  Oct 26, 20265m 18s
  More actions for workflow run 102

• Improve MeasurableSpaceMonad Documentation

  completed successfully:
  Build project#101:Pull request#20synchronizebyDavidLedvinka
  codex/improve-measurable-space-monad-documentation

  Oct 26, 20265m 19s
  More actions for workflow run 101

• Improve MeasurableSpaceMonad Documentation

  completed successfully:
  Build project#100:Pull request#20openedbyDavidLedvinka
  codex/improve-measurable-space-monad-documentation

  Oct 26, 20264m 53s
  More actions for workflow run 100

• Track Lean core changes for measurable monads and rdo

  completed successfully:
  Build project#99:Pull request#19synchronizebyDavidLedvinka
  codex/core-upstream-tracking

  Oct 26, 20266m 30s
  More actions for workflow run 99

• Track Lean core changes for measurable monads and rdo

  completed successfully:
  Build project#98:Pull request#19synchronizebyDavidLedvinka
  codex/core-upstream-tracking

  Oct 26, 20266m 14s
  More actions for workflow run 98

• Track Lean core changes for measurable monads and rdo

  completed successfully:
  Build project#97:Pull request#19openedbyDavidLedvinka
  codex/core-upstream-tracking

  Oct 26, 20265m 45s
  More actions for workflow run 97

• Start the MeasurableSpaceMonad rebuild

  completed successfully:
  Build project#96:Pull request#18synchronizebyDavidLedvinka
  codex/rebuild-scaffold

  Oct 26, 20265m 31s
  More actions for workflow run 96

• Start the MeasurableSpaceMonad rebuild

  completed successfully:
  Build project#95:Pull request#18synchronizebyDavidLedvinka
  codex/rebuild-scaffold

  Oct 26, 20264m 39s
  More actions for workflow run 95

• Start the MeasurableSpaceMonad rebuild

  completed successfully:
  Build project#94:Pull request#18synchronizebyDavidLedvinka
  codex/rebuild-scaffold

  Oct 26, 20265m 32s
  More actions for workflow run 94

• Start the MeasurableSpaceMonad rebuild

  completed successfully:
  Build project#93:Pull request#18synchronizebyDavidLedvinka
  codex/rebuild-scaffold

  Oct 26, 20268m 20s
  More actions for workflow run 93

• Start the MeasurableSpaceMonad rebuild

  completed successfully:
  Build project#92:Pull request#18synchronizebyDavidLedvinka
  codex/rebuild-scaffold

  Oct 26, 20265m 11s
  More actions for workflow run 92

• Start the MeasurableSpaceMonad rebuild

  completed successfully:
  Build project#91:Pull request#18synchronizebyDavidLedvinka
  codex/rebuild-scaffold

  Oct 26, 20264m 55s
  More actions for workflow run 91

• Start the MeasurableSpaceMonad rebuild

  completed successfully:
  Build project#90:Pull request#18synchronizebyDavidLedvinka
  codex/rebuild-scaffold

  Oct 26, 20266m 10s
  More actions for workflow run 90

• Start the MeasurableSpaceMonad rebuild

  completed successfully:
  Build project#89:Pull request#18synchronizebyDavidLedvinka
  codex/rebuild-scaffold

  Oct 26, 20267m 1s
  More actions for workflow run 89

• Start the MeasurableSpaceMonad rebuild

  completed successfully:
  Build project#88:Pull request#18synchronizebyDavidLedvinka
  codex/rebuild-scaffold

  Oct 26, 20264m 53s
  More actions for workflow run 88