l4-declared-proof

Workflow runs for l4-declared-proof

• Fix L4 declaration type checks

  completed successfully:
  l4-declared-proof#2:Commitf8156e7pushedbybrandom-msft
  brandom-msft-p4-0-l4-execution

  Aug 6, 202634s
  More actions for workflow run 2

• Add temporary hosted L4 proof

  failed:
  l4-declared-proof#1:Commit0f6dddfpushedbybrandom-msft
  brandom-msft-p4-0-l4-execution

  Aug 6, 202625s
  More actions for workflow run 1