AVF decoder r3 diagnostics

Workflow runs for AVF decoder r3 diagnostics

• test: prepare matched AVF decoder proof and targeted diagnostics

  failed:
  AVF decoder r3 diagnostics#1:Commit18f9addpushedbyrichiemcilroy
  ci/fixproof-avf-decoder-r3

  Oct 16, 20266m 57s
  More actions for workflow run 1