rule47 proof (THROWAWAY - delete this branch)

Workflow runs for rule47 proof (THROWAWAY - delete this branch)

• test: throwaway proof branch, hub ref pinned (delete)

  failed:
  rule47 proof (THROWAWAY - delete this branch)#4:Commit29228b3pushedbyolafkfreund
  proof/rule47-471

  Jul 30, 202618s
  More actions for workflow run 4

• test: throwaway proof branch - pin hub ref, keep rule47 harness (delete)

  failed:
  rule47 proof (THROWAWAY - delete this branch)#3:Commit9d98985pushedbyolafkfreund
  proof/rule47-471

  Jul 30, 202617s
  More actions for workflow run 3

• Merge branch 'fix/471-gate-honesty' into proof/rule47-471

  failed:
  rule47 proof (THROWAWAY - delete this branch)#2:Commitead6d5apushedbyolafkfreund
  proof/rule47-471

  Jul 30, 202643s
  More actions for workflow run 2

• test: throwaway rule 4.7 proof harness (delete)

  failed:
  rule47 proof (THROWAWAY - delete this branch)#1:Commit8e657acpushedbyolafkfreund
  proof/rule47-471

  Jul 30, 202638s
  More actions for workflow run 1