kleros/kleros-v2

[StepSecurity] ci: Harden GitHub Actions
#1735

step-security-bot wants to merge step-security-bot:stepsecurity_remediation_1730800738 into kleros:dev

Compare on GitHub

We do not currently have an analysis of these two commits