ARM Java activation cleanup bounded proof

Workflow runs for ARM Java activation cleanup bounded proof

• Check ARM activation cleanup against exact released public callers

  failed:
  ARM Java activation cleanup bounded proof#1:Commitbbc1efepushedbybsbodden
  fix/qwen-precision-proof

  Oct 14, 20262m 45s
  More actions for workflow run 1