All workflows

Workflow runs

• ci

  cancelled:
  ci#17:Scheduled
  main

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

• ci

  cancelled:
  ci#16:Scheduled
  main

  Oct 5, 20261d 0h 0m 2s
  More actions for workflow run 16

• ci

  cancelled:
  ci#15:Scheduled
  main

  Sep 28, 20261d 0h 0m 1s
  More actions for workflow run 15

• ci

  completed successfully:
  ci#14:Scheduled
  main

  Sep 21, 202656s
  More actions for workflow run 14

• ci

  completed successfully:
  ci#13:Scheduled
  main

  Sep 14, 202654s
  More actions for workflow run 13

• Drain saturated writer fixtures before process teardown

  completed successfully:
  assurance#8:Commite792536pushedbypetersonbill64
  main

  Sep 10, 202611s
  More actions for workflow run 8

• Drain saturated writer fixtures before process teardown

  completed successfully:
  ci#12:Commite792536pushedbypetersonbill64
  main

  Sep 10, 202625s
  More actions for workflow run 12

• Pin TLS dependency with identity and bounded writer APIs

  completed successfully:
  assurance#7:Commit6ab07ddpushedbypetersonbill64
  main

  Sep 10, 202612s
  More actions for workflow run 7

• Pin TLS dependency with identity and bounded writer APIs

  completed successfully:
  ci#11:Commit6ab07ddpushedbypetersonbill64
  main

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

• ci

  completed successfully:
  ci#10:Manually runbypetersonbill64
  feat/bounded-writers-20260909

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

• ci

  failed:
  ci#9:Manually runbypetersonbill64
  feat/bounded-writers-20260909

  Sep 10, 20262m 9s
  More actions for workflow run 9

• ci

  completed successfully:
  ci#8:Scheduled
  main

  Sep 7, 202652s
  More actions for workflow run 8

• ci

  completed successfully:
  ci#7:Scheduled
  main

  Aug 31, 202652s
  More actions for workflow run 7

• Pin the released Lean v4.31.0 toolchain

  completed successfully:
  ci#6:Commit4dfaa56pushedbypetersonbill64
  main

  Aug 29, 202611m 45s
  More actions for workflow run 6

• Pin the released Lean v4.31.0 toolchain

  completed successfully:
  assurance#6:Commit4dfaa56pushedbypetersonbill64
  main

  Aug 29, 202612s
  More actions for workflow run 6

• Support the released Lean v4.31.0 toolchain

  completed successfully:
  ci#5:Commit4efd065pushedbypetersonbill64
  main

  Aug 29, 202640s
  More actions for workflow run 5

• Support the released Lean v4.31.0 toolchain

  completed successfully:
  assurance#5:Commit4efd065pushedbypetersonbill64
  main

  Aug 29, 202612s
  More actions for workflow run 5

• Document immutable Bazel release pin

  completed successfully:
  assurance#4:Commitc20a8ffpushedbypetersonbill64
  main

  Aug 28, 202611s
  More actions for workflow run 4

• Document immutable Bazel release pin

  completed successfully:
  ci#4:Commitc20a8ffpushedbypetersonbill64
  main

  Aug 28, 202645s
  More actions for workflow run 4

• Derive startup wire data and retire closed clients

  completed successfully:
  assurance#3:Commit82fc066pushedbypetersonbill64
  main

  Aug 28, 202611s
  More actions for workflow run 3

• Derive startup wire data and retire closed clients

  completed successfully:
  ci#3:Commit82fc066pushedbypetersonbill64
  main

  Aug 28, 202647s
  More actions for workflow run 3

• Complete HTTP/2 protocol and managed transports

  completed successfully:
  ci#2:Commit1f91bbfpushedbypetersonbill64
  main

  Aug 28, 20261m 5s
  More actions for workflow run 2

• Complete HTTP/2 protocol and managed transports

  completed successfully:
  assurance#2:Commit1f91bbfpushedbypetersonbill64
  main

  Aug 28, 202612s
  More actions for workflow run 2

• Establish HTTP/2 protocol foundation

  completed successfully:
  ci#1:Commit1aff110pushedbypetersonbill64
  main

  Aug 28, 202650s
  More actions for workflow run 1

• Establish HTTP/2 protocol foundation

  completed successfully:
  assurance#1:Commit1aff110pushedbypetersonbill64
  main

  Aug 28, 202612s
  More actions for workflow run 1