All workflows

Workflow runs

• chore: Bump mathlib dependency to bbeef91

  completed successfully:
  Check PR title for commit convention#5893:Pull request#905editedbymathlib-nightly-testing[bot]Bot
  hopscotch/lkg-bump

  Oct 18, 20268s
  More actions for workflow run 5893

• chore: Bump mathlib dependency to bbeef91

  completed successfully:
  Check PR title for commit convention#5892:Pull request#905synchronizebymathlib-nightly-testing[bot]Bot
  hopscotch/lkg-bump

  Oct 18, 20268s
  More actions for workflow run 5892

• chore: Bump mathlib dependency to bbeef91

  completed successfully:
  Lean Action CI#6917:Pull request#905synchronizebymathlib-nightly-testing[bot]Bot
  hopscotch/lkg-bump

  Oct 18, 20265m 20s
  More actions for workflow run 6917

• Bump mathlib to LKG

  completed successfully:
  Bump mathlib to LKG#208:Scheduled
  main

  Oct 18, 20265m 40s
  More actions for workflow run 208

• refactor(MultiTape): remove the deterministic space measures

  completed successfully:
  Lean Action CI#6916:Pull request#1122synchronizebybarni120400
  barni120400:refactor/multitape-single-space-api

  Oct 18, 20262m 42s
  More actions for workflow run 6916

• refactor(MultiTape): remove the deterministic space measures

  completed successfully:
  Check PR title for commit convention#5891:Pull request#1122synchronizebybarni120400
  barni120400:refactor/multitape-single-space-api

  Oct 18, 20268s
  More actions for workflow run 5891

• refactor(MultiTape): keep the run path space API in Space.lean

  completed successfully:
  Lean Action CI#6915:Pull request#1145synchronizebybarni120400
  barni120400:refactor/multitape-space-api-home

  Oct 18, 20262m 45s
  More actions for workflow run 6915

• refactor(MultiTape): keep the run path space API in Space.lean

  completed successfully:
  Check PR title for commit convention#5890:Pull request#1145synchronizebybarni120400
  barni120400:refactor/multitape-space-api-home

  Oct 18, 20265s
  More actions for workflow run 5890

• refactor(MultiTape): remove the deterministic space measures

  completed successfully:
  Check PR title for commit convention#5889:Pull request#1122editedbybarni120400
  barni120400:refactor/multitape-single-space-api

  Oct 18, 20265s
  More actions for workflow run 5889

• refactor(MultiTape): keep the run path space API in Space.lean

  completed successfully:
  Check PR title for commit convention#5888:Pull request#1145openedbybarni120400
  barni120400:refactor/multitape-space-api-home

  Oct 18, 20267s
  More actions for workflow run 5888

• refactor(MultiTape): keep the run path space API in Space.lean

  completed successfully:
  Lean Action CI#6914:Pull request#1145openedbybarni120400
  barni120400:refactor/multitape-space-api-home

  Oct 18, 20263m 16s
  More actions for workflow run 6914

• refactor(MultiTape): remove the deterministic space measures

  completed successfully:
  Check PR title for commit convention#5887:Pull request#1122synchronizebybarni120400
  barni120400:refactor/multitape-single-space-api

  Oct 18, 20267s
  More actions for workflow run 5887

• refactor(MultiTape): remove the deterministic space measures

  completed successfully:
  Lean Action CI#6913:Pull request#1122synchronizebybarni120400
  barni120400:refactor/multitape-single-space-api

  Oct 18, 20263m 0s
  More actions for workflow run 6913

• feat(Complexity): Deterministic Decision Trees

  completed successfully:
  Lean Action CI#6912:Pull request#925synchronizebySamuelSchlesinger
  Lsonic233:query-complexity-decision-trees

  Oct 18, 20263m 8s
  More actions for workflow run 6912

• feat(Complexity): Deterministic Decision Trees

  completed successfully:
  Check PR title for commit convention#5886:Pull request#925synchronizebySamuelSchlesinger
  Lsonic233:query-complexity-decision-trees

  Oct 18, 20265s
  More actions for workflow run 5886

• feat(Complexity): Query Complexity of Boolean Functions (aka Decision…

  completed successfully:
  Build and Deploy Documentation#445:Commit7430e0bpushedbygithub-merge-queue[bot]Bot
  main

  Oct 18, 202624m 34s
  More actions for workflow run 445

• feat(Complexity): Query Complexity of Boolean Functions (aka Decision…

  completed successfully:
  Lean Action CI#6911:Commit7430e0bpushedbygithub-merge-queue[bot]Bot
  main

  Oct 18, 20262m 57s
  More actions for workflow run 6911

• feat(Complexity): Query Complexity of Boolean Functions (aka Decision…

  completed successfully:
  Run TODO to Issue#531:Commit7430e0bpushedbygithub-merge-queue[bot]Bot
  main

  Oct 18, 202614s
  More actions for workflow run 531

• Check PR title for commit convention

  completed successfully:
  Check PR title for commit convention#5885:Merge group checks requested
  Oct 18, 20266s
  More actions for workflow run 5885

• Lean Action CI

  completed successfully:
  Lean Action CI#6910:Merge group checks requested
  Oct 18, 20262m 52s
  More actions for workflow run 6910

• feat(Complexity): Query Complexity of Boolean Functions (aka Decision…

  completed successfully:
  Check PR title for commit convention#5884:Pull request#923synchronizebySamuelSchlesinger
  Lsonic233:query-complexity-measures

  Oct 18, 20268s
  More actions for workflow run 5884

• feat(Complexity): Query Complexity of Boolean Functions (aka Decision…

  completed successfully:
  Lean Action CI#6909:Pull request#923synchronizebySamuelSchlesinger
  Lsonic233:query-complexity-measures

  Oct 18, 20263m 18s
  More actions for workflow run 6909

• chore: Bump mathlib dependency to bbeef91

  completed successfully:
  Check PR title for commit convention#5883:Pull request#905synchronizebymathlib-nightly-testing[bot]Bot
  hopscotch/lkg-bump

  Oct 17, 20266s
  More actions for workflow run 5883

• chore: Bump mathlib dependency to bbeef91

  completed successfully:
  Lean Action CI#6908:Pull request#905synchronizebymathlib-nightly-testing[bot]Bot
  hopscotch/lkg-bump

  Oct 17, 20267m 22s
  More actions for workflow run 6908

• chore: Bump mathlib dependency to bbeef91

  completed successfully:
  Check PR title for commit convention#5882:Pull request#905editedbymathlib-nightly-testing[bot]Bot
  hopscotch/lkg-bump

  Oct 17, 20268s
  More actions for workflow run 5882