Prototype format diff

Workflow runs for Prototype format diff

• prototype: prove Glamsterdam write-prepayment liveness

  completed successfully:
  Prototype format diff#2:Pull request#1synchronizebychugarchugarr
  prototype/glamsterdam-write-prepayment

  Aug 26, 202630s
  More actions for workflow run 2

• prototype: prove Glamsterdam write-prepayment liveness

  failed:
  Prototype format diff#1:Pull request#1synchronizebychugarchugarr
  prototype/glamsterdam-write-prepayment

  Aug 26, 202621s
  More actions for workflow run 1