All workflows

Workflow runs

• Merge conflicts

  completed successfully:
  Merge conflicts#27188:Scheduled
  main

  Nov 5, 20269s
  More actions for workflow run 27188

• Merge conflicts

  completed successfully:
  Merge conflicts#27187:Scheduled
  main

  Nov 5, 202612s
  More actions for workflow run 27187

• Bump toolchain on nightly-testing

  completed successfully:
  Bump toolchain on nightly-testing#2425:Scheduled
  main

  Nov 5, 202613s
  More actions for workflow run 2425

• Merge conflicts

  completed successfully:
  Merge conflicts#27186:Scheduled
  main

  Nov 5, 20262m 12s
  More actions for workflow run 27186

• Test Mathlib

  skipped:
  Test Mathlib#13031:completedbymathlib-nightly-testing[bot]Bot
  Nov 5, 20261s
  More actions for workflow run 13031

• Post to zulip if the nightly-testing branch is failing.

  completed successfully:
  Post to zulip if the nightly-testing branch is failing.#19579:completedbymathlib-nightly-testing[bot]Bot
  Nov 5, 20266s
  More actions for workflow run 19579

• Post to zulip if the nightly-testing branch is failing.

  skipped:
  Post to zulip if the nightly-testing branch is failing.#19578:completedbyfgdorais
  Nov 5, 202610s
  More actions for workflow run 19578

• Test Mathlib

  skipped:
  Test Mathlib#13030:completedbyfgdorais
  Nov 5, 20261s
  More actions for workflow run 13030

• Merge main into nightly-testing

  failed:
  ci#21651:Commit0980e7cpushedbymathlib-nightly-testing[bot]Bot
  nightly-testing

  Nov 5, 20261m 23s
  More actions for workflow run 21651

• feat: TransCmp instance for a constant comparator

  completed successfully:
  Label PR from status change#1026:Pull request#2047closedbyfgdorais
  Nov 5, 20268s
  More actions for workflow run 1026

• feat: TransCmp instance for a constant comparator

  completed successfully:
  Test Mathlib#13029:Pull request#2047closedbyfgdorais
  Nov 5, 20261m 56s
  More actions for workflow run 13029

• feat: TransCmp instance for a constant comparator (#2047)

  completed successfully:
  ci#21650:Commitb10a69dpushedbyfgdorais
  main

  Nov 5, 20261m 13s
  More actions for workflow run 21650

• feat: TransCmp instance for a constant comparator (#2047)

  completed successfully:
  Merge main to nightly#927:Commitb10a69dpushedbyfgdorais
  main

  Nov 5, 202615s
  More actions for workflow run 927

• Merge conflicts

  completed successfully:
  Merge conflicts#27185:Scheduled
  main

  Nov 5, 202612s
  More actions for workflow run 27185

• Merge conflicts

  completed successfully:
  Merge conflicts#27184:Scheduled
  main

  Nov 5, 20268s
  More actions for workflow run 27184

• Bump toolchain on nightly-testing

  completed successfully:
  Bump toolchain on nightly-testing#2424:Scheduled
  main

  Nov 5, 20269s
  More actions for workflow run 2424

• Merge conflicts

  completed successfully:
  Merge conflicts#27183:Scheduled
  main

  Nov 5, 202614s
  More actions for workflow run 27183

• Merge conflicts

  completed successfully:
  Merge conflicts#27182:Scheduled
  main

  Nov 5, 20269s
  More actions for workflow run 27182

• Merge conflicts

  completed successfully:
  Merge conflicts#27181:Scheduled
  main

  Nov 5, 202642s
  More actions for workflow run 27181

• Bump toolchain on nightly-testing

  completed successfully:
  Bump toolchain on nightly-testing#2423:Scheduled
  main

  Nov 5, 202613s
  More actions for workflow run 2423

• Merge conflicts

  completed successfully:
  Merge conflicts#27180:Scheduled
  main

  Nov 5, 20269s
  More actions for workflow run 27180

• Merge conflicts

  completed successfully:
  Merge conflicts#27179:Scheduled
  main

  Nov 5, 202611s
  More actions for workflow run 27179

• Merge conflicts

  completed successfully:
  Merge conflicts#27178:Scheduled
  main

  Nov 5, 20262m 13s
  More actions for workflow run 27178

• Post to zulip if the nightly-testing branch is failing.

  completed successfully:
  Post to zulip if the nightly-testing branch is failing.#19577:completedbymathlib-nightly-testing[bot]Bot
  Nov 5, 20268s
  More actions for workflow run 19577

• Test Mathlib

  skipped:
  Test Mathlib#13028:completedbymathlib-nightly-testing[bot]Bot
  Nov 5, 20262s
  More actions for workflow run 13028