include a GitHub workflow for vulnerability scanning#1075

Merged

alexanderpann merged 6 commits intomasterfrom

feature/enable_vulnerability_scanning

Dec 4, 2024

Commits on Dec 4, 2024

include a GitHub workflow for vulnerability scanning
Alexander Pann
committed
temporarily test it for pull requests
Alexander Pann
committed
exclude the mps dependency when scanning
Alexander Pann
committed
only call the dependencies task
Alexander Pann
committed
use the github workspace variable to exclude a folder
Alexander Pann
committed
use specific versions for the used GitHub actions
Alexander Pann
committed