All workflows

Workflow runs

• Running Copilot Code Review

  completed successfully:
  Copilot#3:byCopilotAI
  main

  Oct 28, 20261m 32s

• doc: describe how to profile mergeWithGrind suggestions

  completed successfully:
  Lean Action CI#7082:Pull request#1169openedbyarademaker
  arademaker:doc/contributing-grind-profiling

  Oct 28, 20267m 28s
  More actions for workflow run 7082

• doc: describe how to profile mergeWithGrind suggestions

  completed successfully:
  Check PR title for commit convention#6096:Pull request#1169openedbyarademaker
  arademaker:doc/contributing-grind-profiling

  Oct 28, 20267s
  More actions for workflow run 6096

• refactor(MultiTape): simulate machines through adapters

  completed successfully:
  Check PR title for commit convention#6095:Pull request#1151synchronizebybarni120400
  barni120400:refactor/multitape-shared-simulations

  Oct 28, 20268s
  More actions for workflow run 6095

• refactor(MultiTape): simulate machines through adapters

  completed successfully:
  Lean Action CI#7081:Pull request#1151synchronizebybarni120400
  barni120400:refactor/multitape-shared-simulations

  Oct 28, 20262m 34s
  More actions for workflow run 7081

• refactor(MultiTape): simulate machines through adapters

  completed successfully:
  Lean Action CI#7080:Pull request#1151synchronizebybarni120400
  barni120400:refactor/multitape-shared-simulations

  Oct 28, 20262m 41s
  More actions for workflow run 7080

• refactor(MultiTape): simulate machines through adapters

  completed successfully:
  Check PR title for commit convention#6094:Pull request#1151synchronizebybarni120400
  barni120400:refactor/multitape-shared-simulations

  Oct 28, 20268s
  More actions for workflow run 6094

• refactor(MultiTape): simulate machines through adapters

  completed successfully:
  Lean Action CI#7079:Pull request#1151synchronizebybarni120400
  barni120400:refactor/multitape-shared-simulations

  Oct 27, 20262m 49s
  More actions for workflow run 7079

• refactor(MultiTape): simulate machines through adapters

  completed successfully:
  Check PR title for commit convention#6093:Pull request#1151synchronizebybarni120400
  barni120400:refactor/multitape-shared-simulations

  Oct 27, 20266s
  More actions for workflow run 6093

• refactor(MultiTape): simulate machines through adapters

  completed successfully:
  Lean Action CI#7078:Pull request#1151synchronizebybarni120400
  barni120400:refactor/multitape-shared-simulations

  Oct 27, 20262m 41s
  More actions for workflow run 7078

• refactor(MultiTape): simulate machines through adapters

  completed successfully:
  Check PR title for commit convention#6092:Pull request#1151synchronizebybarni120400
  barni120400:refactor/multitape-shared-simulations

  Oct 27, 20265s
  More actions for workflow run 6092

• refactor(MultiTape): simulate machines through adapters

  completed successfully:
  Lean Action CI#7077:Pull request#1151synchronizebybarni120400
  barni120400:refactor/multitape-shared-simulations

  Oct 27, 20263m 5s
  More actions for workflow run 7077

• refactor(MultiTape): simulate machines through adapters

  completed successfully:
  Check PR title for commit convention#6091:Pull request#1151synchronizebybarni120400
  barni120400:refactor/multitape-shared-simulations

  Oct 27, 20268s
  More actions for workflow run 6091

• chore: Bump mathlib dependency to 8000f01

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

  Oct 27, 20267s
  More actions for workflow run 6090

• chore: Bump mathlib dependency to 8000f01

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

  Oct 27, 20267m 30s
  More actions for workflow run 7076

• chore: Bump mathlib dependency to 8000f01

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

  Oct 27, 20268s
  More actions for workflow run 6089

• Bump mathlib to LKG

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

  Oct 27, 20265m 29s
  More actions for workflow run 217

• feat(Boole): Bring Boole sandbox to Lean 4.29 and add queue examples

  failed:
  Lean Action CI#7075:Pull request#539synchronizebyRobertboy18
  Robertboy18:feat/boole-queue-deque-examples

  Oct 27, 202614m 48s
  More actions for workflow run 7075

• feat(Boole): Bring Boole sandbox to Lean 4.29 and add queue examples

  completed successfully:
  Check PR title for commit convention#6088:Pull request#539synchronizebyRobertboy18
  Robertboy18:feat/boole-queue-deque-examples

  Oct 27, 20269s
  More actions for workflow run 6088

• chore: support precompilation in bench suite (#1167)

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

  Oct 27, 202628m 16s
  More actions for workflow run 458

• chore: support precompilation in bench suite (#1167)

  completed successfully:
  Lean Action CI#7074:Commitf4a4725pushedbygithub-merge-queue[bot]Bot
  main

  Oct 27, 20265m 13s
  More actions for workflow run 7074

• chore: support precompilation in bench suite (#1167)

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

  Oct 27, 202631m 5s
  More actions for workflow run 544

• Check PR title for commit convention

  completed successfully:
  Check PR title for commit convention#6087:Merge group checks requested
  Oct 27, 202653s
  More actions for workflow run 6087

• Lean Action CI

  completed successfully:
  Lean Action CI#7073:Merge group checks requested
  Oct 27, 20263m 48s
  More actions for workflow run 7073

• chore: address weekly linting report

  completed successfully:
  Check PR title for commit convention#6086:Pull request#1168openedbyjessealama
  jessealama:weekly-lint-2026-10-26

  Oct 27, 20267s
  More actions for workflow run 6086