All workflows

Workflow runs

• Build TypeTheory

  completed successfully:
  Build TypeTheory#250:Scheduled
  master

  Oct 12, 20263m 50s
  More actions for workflow run 250

• Build TypeTheory

  completed successfully:
  Build TypeTheory#249:Scheduled
  master

  Oct 5, 20263m 48s
  More actions for workflow run 249

• Build TypeTheory

  completed successfully:
  Build TypeTheory#248:Scheduled
  master

  Sep 28, 20263m 41s
  More actions for workflow run 248

• Build TypeTheory

  completed successfully:
  Build TypeTheory#247:Scheduled
  master

  Sep 21, 20263m 44s
  More actions for workflow run 247

• Build TypeTheory

  completed successfully:
  Build TypeTheory#246:Scheduled
  master

  Sep 14, 20263m 41s
  More actions for workflow run 246

• Build TypeTheory

  completed successfully:
  Build TypeTheory#245:Scheduled
  master

  Sep 7, 20263m 57s
  More actions for workflow run 245

• Merge pull request #257 from rmatthes/adapttorocqbuildlang

  completed successfully:
  Build TypeTheory#244:Commitd5d992dpushedbyrmatthes
  master

  Sep 4, 20263m 49s
  More actions for workflow run 244

• dune config from Coq to Rocq, not mentioning -type-in-type

  completed successfully:
  Build TypeTheory#243:Pull request#257openedbyrmatthes
  rmatthes:adapttorocqbuildlang

  Sep 4, 20263m 47s
  More actions for workflow run 243

• Merge pull request #256 from rmatthes/restorecompilationforRocq94alpha

  completed successfully:
  Build TypeTheory#242:Commit08e9709pushedbynmvdw
  master

  Sep 3, 20263m 51s
  More actions for workflow run 242

• restoring compilation in Rocq 9.4alpha

  completed successfully:
  Build TypeTheory#241:Pull request#256synchronizebyrmatthes
  rmatthes:restorecompilationforRocq94alpha

  Sep 3, 20262m 49s
  More actions for workflow run 241

• restoring compilation in Rocq 9.4alpha

  failed:
  Build TypeTheory#240:Pull request#256synchronizebyrmatthes
  rmatthes:restorecompilationforRocq94alpha

  Sep 2, 20263m 37s
  More actions for workflow run 240

• restoring compilation in Rocq 9.4alpha

  failed:
  Build TypeTheory#239:Pull request#256byrmatthes
  rmatthes:restorecompilationforRocq94alpha

  Sep 2, 2026-1s
  More actions for workflow run 239

• restoring compilation in Rocq 9.4alpha

  failed:
  Build TypeTheory#238:Pull request#256byrmatthes
  rmatthes:restorecompilationforRocq94alpha

  Sep 2, 2026Failure
  More actions for workflow run 238

• restoring compilation in Rocq 9.4alpha

  failed:
  Build TypeTheory#237:Pull request#256synchronizebyrmatthes
  rmatthes:restorecompilationforRocq94alpha

  Sep 2, 20263m 37s
  More actions for workflow run 237

• restoring compilation in Rocq 9.4alpha

  failed:
  Build TypeTheory#236:Pull request#256synchronizebyrmatthes
  rmatthes:restorecompilationforRocq94alpha

  Sep 2, 20263m 30s
  More actions for workflow run 236

• restoring compilation in Rocq 9.4alpha

  cancelled:
  Build TypeTheory#235:Pull request#256synchronizebyrmatthes
  rmatthes:restorecompilationforRocq94alpha

  Sep 2, 20262m 0s
  More actions for workflow run 235

• restoring compilation in Rocq 9.4alpha

  failed:
  Build TypeTheory#234:Pull request#256byrmatthes
  rmatthes:restorecompilationforRocq94alpha

  Sep 2, 2026Failure
  More actions for workflow run 234

• restoring compilation in Rocq 9.4alpha

  failed:
  Build TypeTheory#233:Pull request#256byrmatthes
  rmatthes:restorecompilationforRocq94alpha

  Sep 2, 2026Failure
  More actions for workflow run 233

• restoring compilation in Rocq 9.4alpha

  failed:
  Build TypeTheory#232:Pull request#256byrmatthes
  rmatthes:restorecompilationforRocq94alpha

  Sep 2, 2026Failure
  More actions for workflow run 232

• Build TypeTheory

  failed:
  Build TypeTheory#231:Manually runbyrmatthes
  master

  Sep 2, 20262m 50s
  More actions for workflow run 231