Plugin scanner

Workflow runs for Plugin scanner

• ci: run the HOL AI plugin scanner (#97)

  completed successfully:
  Plugin scanner#2:Commit8a3f25bpushedbytanglearncode
  main

  Aug 23, 202655s
  More actions for workflow run 2

• ci: run the HOL AI plugin scanner

  completed successfully:
  Plugin scanner#1:Pull request#97openedbytanglearncode
  add-plugin-scanner-ci

  Aug 23, 202655s
  More actions for workflow run 1