build(ci): pin GitHub Actions to commit SHAs by crypto-titan · Pull Request #3 · Emurgo/proof-tool

Scan completed

✅ Aikido Security check OK. No new issues were introduced. 7 HIGH issues were solved. View details
_{Scan results for commit: 138f73f}