Upload additional release assets

Workflow runs for Upload additional release assets

• cbmc-6.11.0

  failed:
  Upload additional release assets#133:Releasecbmc-6.11.0createdbydb-ci-cprover
  Aug 21, 202635m 18s
  More actions for workflow run 133

• cbmc-6.10.0

  failed:
  Upload additional release assets#132:Releasecbmc-6.10.0createdbydb-ci-cprover
  Jun 24, 202627m 50s
  More actions for workflow run 132

• cbmc-6.9.0

  failed:
  Upload additional release assets#131:Releasecbmc-6.9.0createdbydb-ci-cprover
  Apr 14, 202643m 48s
  More actions for workflow run 131