Skip to content

chore: fix ruleset updater workflow not working#140

Merged
RomainMuller merged 2 commits intomainfrom
romain.marcadier/fix-rules-updater
Jul 15, 2025
Merged

chore: fix ruleset updater workflow not working#140
RomainMuller merged 2 commits intomainfrom
romain.marcadier/fix-rules-updater

Commits

Commits on Jul 15, 2025