fix: scan on pull_request instead of push#10

Merged

gruyaume merged 2 commits intomainfrom dev-scan

Apr 29, 2024

+106-72

Commits on Apr 26, 2024

fix: scan on pull_request instead of push
gruyaume
committed

Commits on Apr 27, 2024

chore: standardise workflow with other rocks
gruyaume
committed