Instant mixer full main control

Workflow runs for Instant mixer full main control

• ci: serialize the matching main capture proof

  completed successfully:
  Instant mixer full main control#3:Commitbfa5edfpushedbyrichiemcilroy
  ci/fixproof-instant-mixer-base

  Oct 16, 20261h 46m 40s
  More actions for workflow run 3

• ci: run the complete mixer candidate proof

  failed:
  Instant mixer full main control#2:Commitd1800bfpushedbyrichiemcilroy
  ci/fixproof-instant-mixer

  Oct 16, 20261h 24m 8s
  More actions for workflow run 2

• ci: run the complete mixer main control through reusable workflows

  cancelled:
  Instant mixer full main control#1:Commitfa778bapushedbyrichiemcilroy
  ci/fixproof-instant-mixer-base

  Oct 16, 202621m 56s
  More actions for workflow run 1