All workflows

Workflow runs

• ci

  cancelled:
  ci#15:Scheduled
  main

  Oct 12, 20261d 0h 0m 2s
  More actions for workflow run 15

• ci

  cancelled:
  ci#14:Scheduled
  main

  Oct 5, 20261d 0h 0m 1s
  More actions for workflow run 14

• ci

  cancelled:
  ci#13:Scheduled
  main

  Sep 28, 20261d 0h 0m 8s
  More actions for workflow run 13

• ci

  completed successfully:
  ci#12:Scheduled
  main

  Sep 21, 20262m 6s
  More actions for workflow run 12

• ci

  completed successfully:
  ci#11:Scheduled
  main

  Sep 14, 20261m 36s
  More actions for workflow run 11

• Merge prepared-row benchmark checkpoint

  completed successfully:
  assurance#6:Commit64fca7epushedbypetersonbill64
  main

  Sep 10, 202611s
  More actions for workflow run 6

• Merge prepared-row benchmark checkpoint

  completed successfully:
  ci#10:Commit64fca7epushedbypetersonbill64
  main

  Sep 10, 20261m 34s
  More actions for workflow run 10

• Break generated array literals into short lines

  completed successfully:
  assurance#5:Commita1cca53pushedbypetersonbill64
  main

  Sep 10, 202611s
  More actions for workflow run 5

• Break generated array literals into short lines

  completed successfully:
  ci#9:Commita1cca53pushedbypetersonbill64
  main

  Sep 10, 20261m 58s
  More actions for workflow run 9

• Refresh toolchain input tracking extension locks

  completed successfully:
  assurance#4:Commit8279054pushedbypetersonbill64
  main

  Sep 7, 20261m 22s
  More actions for workflow run 4

• Refresh toolchain input tracking extension locks

  completed successfully:
  ci#8:Commit8279054pushedbypetersonbill64
  main

  Sep 7, 20264m 23s
  More actions for workflow run 8

• Align standalone and downstream builds with released Lean

  completed successfully:
  ci#7:Commiteac8b0cpushedbypetersonbill64
  main

  Sep 7, 20262m 55s
  More actions for workflow run 7

• Align standalone and downstream builds with released Lean

  completed successfully:
  assurance#3:Commiteac8b0cpushedbypetersonbill64
  main

  Sep 7, 202612s
  More actions for workflow run 3

• ci

  failed:
  ci#6:Scheduled
  main

  Sep 7, 202611s
  More actions for workflow run 6

• ci

  failed:
  ci#5:Scheduled
  main

  Aug 31, 202611s
  More actions for workflow run 5

• ci

  completed successfully:
  ci#4:Scheduled
  main

  Aug 24, 20261m 42s
  More actions for workflow run 4

• Reuse cached prepared statement names

  completed successfully:
  ci#3:Commit15e8a80pushedbypetersonbill64
  main

  Aug 22, 20264m 37s
  More actions for workflow run 3

• Reuse cached prepared statement names

  completed successfully:
  assurance#2:Commit15e8a80pushedbypetersonbill64
  main

  Aug 22, 202610s
  More actions for workflow run 2

• ci

  completed successfully:
  ci#2:Scheduled
  main

  Aug 17, 20261m 48s
  More actions for workflow run 2

• Document generated-source integration

  completed successfully:
  assurance#1:Commit5aebdb9pushedbypetersonbill64
  main

  Aug 10, 20268s
  More actions for workflow run 1

• Document generated-source integration

  completed successfully:
  ci#1:Commit5aebdb9pushedbypetersonbill64
  main

  Aug 10, 20261m 43s
  More actions for workflow run 1